package coq-vst-zlist
A list library indexed by Z type, with a powerful automatic solver
Install
Dune Dependency
Authors
Maintainers
Sources
v2.12.tar.gz
sha512=7ca3bf55a7e5888dbfd271d9955c463d00de0e7125c60a45ca568d7de2a75104f0e740ba002e10ce7fd1ab94761c0b876816ffac4ac3f2c49af187891be604b5
Description
Published: 03 Apr 2023
Dependencies (1)
-
coq
>= "8.14.1"
Dev Dependencies
None
Used by (2)
-
coq-vst
= "2.12" -
coq-vst-32
= "2.12"
Conflicts
None
On This Page