stdpp tags
https://gitlab.rts.mpi-sws.org/maximedenes/stdpp/-/tags
https://gitlab.rts.mpi-sws.org/maximedenes/stdpp/-/tags/coq-stdpp-1.1.0
coq-stdpp-1.1.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/maximedenes/stdpp/-/tags/coq-stdpp-1.0.0
coq-stdpp-1.0.0
Ralf Jung
jung@mpi-sws.org