package rocq-ollibs
OL libraries
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.8.tar.gz
sha256=4db50ba3f2cc2e8997c3564739d1856823b4ed8284dd1f5ab3aff8cfa65e701d
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-03 logpath:OLlibsPublished: 03 Apr 2025
Dependencies (2)
-
rocq-stdlib
>= "9.0" & < "9.1~" - rocq-core
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page