kang
Results
1
repositories owned by
kang
cubical-classics
20
Stars
1
Forks
Watchers
An attempt towards univalent classical mathematics in Cubical Agda.
