search

aya-prover / aya-vscode

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

Renew position to fix invalid argument error #14

Closed imkiva closed 2 years ago

imkiva commented 2 years ago

fix #12

bors[bot] commented 2 years ago

Build succeeded: