package coq-tlc
TLC: A Library for Classical Coq
Install
Dune Dependency
Authors
Maintainers
Sources
20211215.tar.gz
md5=1f9aef5feee4f2d41f7319231958474a
sha512=9f700cc08b58d9308f07d1e747b9cac431b9e6947a37e51cd9a5ec7972f5c684af444a1782011adfbb507dd45d4bad54ad028a08807757a072575bd88117a935
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:2021-12-15 keyword:classical logic logpath:TLCPublished: 15 Dec 2021
Dependencies (1)
-
coq
>= "8.13" & < "8.17"
Dev Dependencies
None
Used by (2)
-
coq-cfml
< "20181201" - coq-cfml-basis
Conflicts
None
On This Page