search

aya-prover / aya-vscode

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

Highlight modules #24

Closed imkiva closed 1 year ago

imkiva commented 1 year ago

bors merge

bors[bot] commented 1 year ago

Build succeeded: