Requirements:
- tree-sitter CLI:
cargo install tree-sitter
Notice that this grammar is by definition incomplete and innacurate since the syntax of the Rocq language can be altered by the Notation command. For more information see this warning in the official documentation.