package coq-tlc
TLC: A Library for Classical Coq
Install
Dune Dependency
Authors
Maintainers
Sources
20240209.tar.gz
md5=5fcfcac182c94ce54b2b67147a578152
sha512=4fea32463e67abe0fbb03f7526a0ad006618e05f2ada9fccd441dc3607416e58e35c450fbfbe884b4aa9ae0ce77b2ae98dcf4bf0044b8d96c793374ae852d4a3
Description
Provides an alternative to the core of the Coq standard library, using classic definitions.
Tags
category:Computer Science/Data Types and Data Structures date:2024-02-09 keyword:classical logic logpath:TLCPublished: 13 Feb 2024
Dependencies (1)
-
coq
>= "8.17" & < "8.20"
Dev Dependencies
None
Used by (2)
-
coq-cfml
< "20181201" - coq-cfml-basis
Conflicts
None
On This Page