01
rzk-lang/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
- Stars
- 68
- Forks
- 22
- Pushed
- Unknown
Trending repositories
rzk-lang’s trending work
Repositories from this owner that have appeared in GitHub Trending.
Repositories from this owner that have appeared in GitHub Trending.
Formalisations for simplicial HoTT and synthetic ∞-categories.