Felix Cherubini
Results
1
repositories owned by
Felix Cherubini
DCHoTT-Agda
45
Stars
3
Forks
Watchers
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
