search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

Lsp lib #19

Closed imkiva closed 2 years ago

imkiva commented 2 years ago

bors merge

bors[bot] commented 2 years ago

Build succeeded: