package coq-string
Definition of strings in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=eed7b2534f80f9588e3c4d493e0a4e4b
Description
Strings as list of characters.
Tags
keyword: string keyword: ascii character category: Miscellaneous/Coq Extensions date: 2002-03Published: 20 Nov 2018
On This Page