rzk-lang/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
72 stars23forks23issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
8 of 16outside PRs merged (50%)
checked
rzk-lang/sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
Outside contributors get real replies here, and their work gets merged.
8 of 16outside PRs merged (50%)
checked
Where newcomer work lands
The evidence