issues
search
rzk-lang
/
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
https://rzk-lang.github.io/sHoTT/
44
stars
12
forks
source link
Def 8.28 and Prop 8.29
#33
Closed
TashiWalde
closed
1 year ago
TashiWalde
commented
1 year ago
closes #17
closes #17