coq-stdpp

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