coq-coqtail

Library of mathematical theorems and tools proved inside the Coq

opam install coq-coqtail.8.11.2
homepage
https://github.com/coq-community/coqtail-math
license
LGPL-3.0-only
bugs tracker
https://github.com/coq-community/coqtail-math/issues
dependencies
"coq" {>= "8.11" & < "8.13~"}
source
https://github.com/coq-community/coqtail-math/archive/v8.11.2.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-coqtail/coq-coqtail.8.11.2