package coq-list-string
Strings implemented as lists
Install
Dune Dependency
Authors
Maintainers
Sources
2.1.1.tar.gz
md5=862ce9f8080c7d0aa9c406eceb2ad65c
Description
Tags
category:Computer Science/Data Types and Data Structures date:2015-07-25 logpath:ListStringPublished: 10 May 2019
Dependencies (6)
- ocaml
-
coq
>= "8.4pl4" & < "8.14" - coq-list-plus
- coq-error-handlers
- coq-cunit
-
conf-ruby
build
Dev Dependencies
None
Used by (8)
Conflicts
None
On This Page