package rocq-listz
A Rocq library of lists with indices in Z
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=653a9ac97deabcabcb659bd10f15201e
sha512=419f32f11cc18b924a6e2b165d3b7f90c3e3abd23b76f0f2dd871ca6f1af55b9c158a652479407822fbf974280cb0463d5a07df9673de52b352bab8132cabb97
Description
Dependencies (4)
-
dune
>= "3.21" -
rocq-stdpp
(>= "1.13.0") - rocq-stdlib
-
rocq-core
(>= "9.1")
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page