package rocq-ollibs
OL libraries
Install
Dune Dependency
Authors
Maintainers
Sources
v2.1.0.tar.gz
sha512=ea593345e3f3dacbdbeac479edecfafc1124f794b3a5a5871d51229e280a8c03c27f43ebf4c839663c46884869c1c8260d2ce3ff08d50b2c363a5b6e9898b3a0
Description
Add-ons for the Rocq standard library
Tags
keyword:standard library keyword:list keyword:permutation keyword:decidable equality keyword:finite multisets category:Mathematics/Combinatorics and Graph Theory date:2025-04-22 logpath:OLlibsPublished: 23 Apr 2025
Dependencies (2)
-
rocq-stdlib
>= "9.0" & < "9.1~" - rocq-core
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page