coq-stdpp

This project contains an extended "Standard Library" for Coq called coq-std++

opam install coq-stdpp.1.2.0
homepage
https://gitlab.mpi-sws.org/iris/stdpp
license
BSD
bugs tracker
https://gitlab.mpi-sws.org/iris/stdpp/issues
dependencies
"coq" {(>= "8.7" & < "8.10~") | (= "dev")}
source
https://gitlab.mpi-sws.org/iris/stdpp/repository/coq-stdpp-1.2.0/archive.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-stdpp/coq-stdpp.1.2.0