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: 10 months 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 (over 9 years ago)
• Default Branch: master
• Last Synced: 2024-08-21T07:31:02.703Z (almost 2 years ago)
• Stars: 11
• Forks: 51
• Open Issues:

Awesome Lists containing this project

• awesome-coq - Coq-std++ - Extended alternative standard library for Coq. (Projects / Libraries)