Hott Uf Agda Lecture Notes | Supermarked | |
---|---|---|
Stars | 204 | 15 |
Downloads | ||
Dependent Packages | 11 | |
Dependent Repos | 1,789 | |
Most Recent Commit | 9 months ago | 7 years ago |
Total Releases | 7 | |
Latest Release | November 04, 2014 | |
Open Issues | 2 | |
License | gpl-3.0 | mit |
Programming Language | Agda | JavaScript |