package coq-vst-zlist
A list library indexed by Z type, with a powerful automatic solver
Install
Dune Dependency
Authors
Maintainers
Sources
v2.13.tar.gz
sha512=b51758d5d22f3b67df13203bf33140c828b6df872b710125ed3001ec98da6bc5117ba2843868bbd46c99a9de0ec4cd0d594d61c6b715d9e4daf65f72743a7b63
Description
Published: 09 Nov 2023
Dependencies (1)
-
coq
>= "8.16.1" & < "8.21~"
Dev Dependencies
None
Used by (2)
-
coq-vst
>= "2.13" -
coq-vst-32
>= "2.13"
Conflicts
None
On This Page