package coq-tlc
TLC: A Library for Classical Coq
Install
Dune Dependency
Authors
Maintainers
Sources
20260120.tar.gz
md5=3cea252299711faa41081b8c1743cc20
sha512=5289e8084f6e63dfedbd82566b4712460e5156a16a08e85d689e56061b0578ff961e0a0c1066b5b9466d32dcf22df2b9194cbab0c32e931f4b07bb8bcb234353
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:2026-01-20 keyword:classical logic logpath:TLCPublished: 20 Jan 2026
Dependencies (1)
-
coq
>= "8.18"
Dev Dependencies
None
Used by (2)
-
coq-cfml
< "20181201" - coq-cfml-basis
Conflicts
None
On This Page