veralang

1 extension by this developer

veralang

Proof-aware Vera language support: diagnostics, hover, slot navigation, typed-hole completion, and syntax highlighting.