VioletTools
The pieces that surround the prover: a standard library, editor support, and a grammar for tooling.
std
An MLTT standard library — added to a project as a git dependency with violet add.
vscode-violet
The VS Code extension for violet.
tree-sitter-violet
A Tree-sitter grammar for Violet, powering structural highlighting and the foundation for other editor tooling.