Flakes
Categories
Options
Packages
Sign in
MyNixOS
packages
rocqPackages
package-set
rocqPackages
Showing entries 1-6 out of 6.
rocq
Nix package
applications/science/logic
The Rocq Prover
rocq-core9.0-bignums
Nix package
build-support
rocq-core9.0-elpi
Nix package
development/rocq-modules
Rocq plugin embedding ELPI
rocq-core9.0-hierarchy-builder
Nix package
development/rocq-modules
High level commands to declare a hierarchy based on packed classes
rocq-core9.0-parseque
Nix package
development/rocq-modules
Total parser combinators in Rocq
rocq-core9.0-stdlib
Nix package
development/rocq-modules
The Rocq Proof Assistant -- Standard Library
Previous
1
Next