package coq-vst-zlist
A list library indexed by Z type, with a powerful automatic solver
Install
Dune Dependency
Authors
Maintainers
Sources
v2.11.tar.gz
sha512=655123f4ddb3221020c1034e3e1bed4ccd277d50b155947962009081d45abce0081abc0c2ac7a7f234a0b3ce0a169475e2d0dbd5250e3ab9d4f2503dcc67353f
Description
Published: 26 Aug 2022
Dependencies (1)
-
coq
>= "8.13"
Dev Dependencies
None
Used by (2)
-
coq-vst
>= "2.11" & < "2.12" -
coq-vst-32
>= "2.11" & < "2.12"
Conflicts
None
On This Page