coq-stdpp

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

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