Showing entries 1-15 out of 15.
Language server for the vsrocq vscode/codium extension
Rocq Prover
Rocq plugin embedding ELPI
High level commands to declare a hierarchy based on packed classes
Total parser combinators in Rocq
Rocq Proof Assistant -- Standard Library