Coq Procrastination
A small Coq library for collecting side conditions and deferring their proof
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Principia | 193 | 9 months ago | 1 | gpl-3.0 | TeX | |||||
| The Principia Rewrite | ||||||||||
| Bonak | 26 | 3 months ago | mit | TeX | ||||||
| 🧊 An indexed construction of semi-simplicial and semi-cubical types | ||||||||||
| Session Types Coq | 14 | 5 years ago | TeX | |||||||
| Formalising session types in Coq | ||||||||||
| Coq Procrastination | 12 | 5 years ago | 1 | lgpl-3.0 | TeX | |||||
| A small Coq library for collecting side conditions and deferring their proof | ||||||||||
| Algebraically Indexed Types | 11 | 10 years ago | TeX | |||||||
| Repository for documents and experiments to do with algebraically-indexed types | ||||||||||
| Modallibrary | 11 | 2 years ago | bsd-2-clause | TeX | ||||||
| Modal Logic Library in Coq | ||||||||||
| Casper Proofs | 8 | 5 years ago | 1 | other | TeX | |||||
| Coq definitions and lemmas for verification of Casper | ||||||||||
| Constructingii | 7 | 5 years ago | TeX | |||||||
| Constructing Inductive-Inductive types in Cubical Type Theory | ||||||||||
| System Fc Coq | 6 | 9 years ago | TeX | |||||||
Alternatives To Coq ProcrastinationSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Tex Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tex
Coq