Use standalone executables from jlink - Githubissues

aya-prover / aya-vscode

~ VSCode extension for Aya Prover

GNU General Public License v3.0

7 stars 2 forks source link

Use standalone executables from jlink #2

Closed imkiva closed 3 years ago