This is stars and forks stats for /rzk-lang/sHoTT repository. As of 05 May, 2024 this repository has 25 stars and 9 forks.
Simplicial HoTT and synthetic ∞-categories ℹ️ This project originated as a fork of https://github.com/emilyriehl/yoneda. This is a formalization library for simplicial Homotopy Type Theory (sHoTT) with the aim of proving resulting in synthetic ∞-category theory, starting with the results from the following papers: "A type theory for synthetic ∞-categories" [1] "Synthetic fibered (∞,1)-category theory" [2] "Limits and colimits of synthetic ∞-categories" [3] This formalization project follows the philosophy...
Simplicial HoTT and synthetic ∞-categories ℹ️ This project originated as a fork of https://github.com/emilyriehl/yoneda. This is a formalization library for simplicial Homotopy Type Theory (sHoTT) with the aim of proving resulting in synthetic ∞-category theory, starting with the results from the following papers: "A type theory for synthetic ∞-categories" [1] "Synthetic fibered (∞,1)-category theory" [2] "Limits and colimits of synthetic ∞-categories" [3] This formalization project follows the philosophy...