package coq-list-string
Strings implemented as lists
Install
Dune Dependency
Authors
Maintainers
Sources
2.1.2.tar.gz
md5=a5d177e3f6ebb071a4fa4968dfb3f224
Description
Published: 07 May 2019
Dependencies (5)
- coq-cunit
- coq-list-plus
- coq-error-handlers
-
coq
>= "8.5" - ocaml
Dev Dependencies
None
Used by (8)
Conflicts
None
On This Page