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