Prooftoys
Interactive, web-based visual math assistant
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Martin Lof | 670 | a year ago | 14 | TeX | ||||||
| papers of Per Martin Löf | ||||||||||
| Hott Uf Agda Lecture Notes | 204 | 8 months ago | gpl-3.0 | Agda | ||||||
| Lecture notes on univalent foundations of mathematics with Agda | ||||||||||
| Hott Intro | 169 | 4 years ago | cc-by-4.0 | Agda | ||||||
| An introductory course to Homotopy Type Theory | ||||||||||
| Path_semantics | 156 | 3 months ago | 27 | mit | Rust | |||||
| A research project in path semantics, a re-interpretation of functions for expressing mathematics | ||||||||||
| Foundational Knowledge For Programmers | 112 | 3 years ago | ||||||||
| List of resources about foundational knowledge for programmers (supposed to last a few decades) | ||||||||||
| Agda | 92 | 2 years ago | gpl-3.0 | Agda | ||||||
| Agda formalisation of the Introduction to Homotopy Type Theory | ||||||||||
| Reed Thesis | 13 | 6 years ago | mpl-2.0 | TeX | ||||||
| My undergradate thesis on coinductive types in univalent type theory | ||||||||||
| Prooftoys | 9 | 3 months ago | 1 | other | JavaScript | |||||
| Interactive, web-based visual math assistant | ||||||||||
| Math | 5 | 6 years ago | 1 | gpl-3.0 | Agda | |||||
| Formalization of Mathematics using Type Theory of Agda Programming Language | ||||||||||
Alternatives To ProoftoysSelect To Compare
Alternative Project Comparisons
Popular Mathematics Projects
Popular Type Theory Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
Mathematics
Type Theory
Proof Assistant