Showing entries 1-8 out of 8.
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
The Rocq Proof Assistant -- Standard Library
The Rocq Proof Assistant -- Standard Library