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