Katie Casamento
Results
1
repositories owned by
Katie Casamento
quotient
22
Stars
0
Forks
Watchers
quotient types in cubical Agda
