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