---

rocq-stdlib

Link	package | bugs open | bugs closed | Wiki | GitHub | web search
Description	Stdlib for the Rocq Prover
Version	9.2.0-1 [extra-testing] 9.1.0-2 [extra]

No issues