uemurax / hott-jaLinks
HoTT in Japanese
โ34Updated last year
Alternatives and similar repositories for hott-ja
Users that are interested in hott-ja are comparing it to the libraries listed below
Sorting:
- Template Haskell Implementation of Egison Pattern Matchingโ32Updated 4 years ago
- ๐ช A Staged Type Theory