Katie Casamento
Repositories
Issues
Comments
Results
1
repositories owned by
Katie Casamento
quotient
22
Stars
0
Forks
Watchers
quotient types in cubical Agda
kcsmnt0
cubical-type-theory
homotopy-type-theory
quotient-types
