package rocq-marble
Data structures based on machine integers and primitive arrays
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=fb7c67c8a1a4f032c10a850a266814d5
sha512=cdfc77ede536b3b5955c02908441b07b00b143167499c37955f82e9a5a2db8f6525a20189cbcfefe394a91e3bbbd3a7416a7d9c5527a728b37f50902ac8eebe9
Description
Dependencies (6)
- rocq-listz
-
dune
>= "3.21" -
rocq-stdpp
(>= "1.13.0") - rocq-equations
-
rocq-stdlib
(>= "9.1") -
rocq-core
(>= "9.1")
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page