coq-stdpp

• 1.0.0
• 1.1.0
• 1.2.0
• 1.2.1
• 1.3.0
• 1.4.0

std++ is an extended "Standard Library" for Coq

opam install coq-stdpp.1.4.0

homepage

https://gitlab.mpi-sws.org/iris/stdpp

license

BSD

bugs tracker

https://gitlab.mpi-sws.org/iris/stdpp/issues

dependencies

"coq" {(= "8.8.2") | (>= "8.9.1" & < "8.13~") | (= "dev")}

source

https://gitlab.mpi-sws.org/iris/stdpp/repository/coq-stdpp-1.4.0/archive.tar.gz

package

https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-stdpp/coq-stdpp.1.4.0