package coq-tlc
TLC: A Library for Classical Coq
Install
Dune Dependency
Authors
Maintainers
Sources
20210316.tar.gz
md5=a88c1bd2b7995d256b88fc7f75ac1f60
sha512=886e6151dbbf04e6bc73289c4661bda6d176219b341ad6a43269f66c383f617a6b6a7fbcf048e015d9455b15bb4e361957c660d94c092cc13a1db206bf3c4505
Description
Provides an alternative to the core of the Coq standard library, using classic definitions.
Tags
category:Miscellaneous/Coq Extensions date:2021-03-16 keyword:classical logic logpath:TLCPublished: 18 Mar 2021
On This Page