Flakes
Categories
Options
Packages
Sign in
MyNixOS
categories
development
rocq-modules
categories
development/rocq-modules
Showing entries 1-2 out of 2.
rocq-core9.0-elpi
Nix package
rocqPackages
Rocq plugin embedding ELPI
rocq-core9.0-stdlib
Nix package
rocqPackages
The Rocq Proof Assistant -- Standard Library
Previous
1
Next
