coq-tlc

TLC: A Library for Classical Coq

opam install coq-tlc.20200328
homepage
https://github.com/charguer/tlc
license
MIT
bugs tracker
https://github.com/charguer/tlc/issues
dependencies
"coq" {>= "8.10"}
source
https://github.com/charguer/tlc/archive/20200328.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-tlc/coq-tlc.20200328