Egbert Rijke
Results
1
repositories owned by
Egbert Rijke
HoTT-Intro
355
Stars
28
Forks
Watchers
An introductory course to Homotopy Type Theory
