package-set

rocqPackages

Showing entries 1-4 out of 4.

applications/science/logic

The Rocq Prover

rocq-core9.0-bignums

rocq-core9.0-elpi

development/rocq-modules

Rocq plugin embedding ELPI

rocq-core9.0-stdlib

development/rocq-modules

The Rocq Proof Assistant -- Standard Library