MyNixOS website logo
package-set

rocqPackages

Showing entries 1-6 out of 6.
The Rocq Prover
Rocq plugin embedding ELPI
High level commands to declare a hierarchy based on packed classes
Total parser combinators in Rocq
The Rocq Proof Assistant -- Standard Library