Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://gitlab.mpi-sws.org/iris/stdpp
An extended "Standard Library" for Coq. [[coqdoc]](https://plv.mpi-sws.org/coqdoc/stdpp/)
https://gitlab.mpi-sws.org/iris/stdpp
Last synced: about 1 month ago
JSON representation
An extended "Standard Library" for Coq. [[coqdoc]](https://plv.mpi-sws.org/coqdoc/stdpp/)
- Host: gitlab.mpi-sws.org
- URL: https://gitlab.mpi-sws.org/iris/stdpp
- Owner: iris
- License: bsd-3-clause
- Created: 2017-01-31T14:05:14.517Z (almost 8 years ago)
- Default Branch: master
- Last Synced: 2024-08-21T07:31:02.703Z (5 months ago)
- Stars: 11
- Forks: 51
- Open Issues:
Awesome Lists containing this project
- awesome-coq - Coq-std++ - Extended alternative standard library for Coq. (Projects / Libraries)