Running verus in VS Code - Githubissues

verus-lang / verus-analyzer

A Verus compiler front-end for IDEs (derived from rust-analyzer)

Apache License 2.0

8 stars 4 forks source link

Running verus in VS Code #15

Closed chanheec closed 1 year ago