Constructingii
Constructing Inductive-Inductive types in Cubical Type Theory
| 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 | ||||||||||
| Datafun | 328 | 2 years ago | 2 | TeX | ||||||
| Research on integrating datalog & lambda calculus via monotonicity types | ||||||||||
| Homotopy Type Theory Course | 214 | 3 years ago | TeX | |||||||
| A course on homotopy theory and type theory, taught jointly with Jaka Smrekar | ||||||||||
| How To Prove | 203 | 6 months ago | 12 | TeX | ||||||
| My Solution to Velleman's book | ||||||||||
| Reed Thesis | 13 | 6 years ago | mpl-2.0 | TeX | ||||||
| My undergradate thesis on coinductive types in univalent type theory | ||||||||||
| Direct Reflection For Free | 8 | 4 years ago | TeX | |||||||
| using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell | ||||||||||
| Constructingii | 7 | 5 years ago | TeX | |||||||
| Constructing Inductive-Inductive types in Cubical Type Theory | ||||||||||
Alternatives To ConstructingiiSelect To Compare
Alternative Project Comparisons
Popular Type Theory Projects
Popular Tex Projects
Popular Compilers Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Tex
Coq
Type Theory