coq-tlc

A general-purpose alternative to Coq's standard library

opam install coq-tlc.20171206

homepage: https://gitlab.inria.fr/charguer/tlc
license: CeCILL-B
bugs tracker: tlc-users@lists.gforge.inria.fr
dependencies: "ocaml" "coq" {>= "8.6" & < "8.10~"}
source: http://tlc.gforge.inria.fr/releases/tlc-20171206.tar.gz
package: https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-tlc/coq-tlc.20171206