EgbertRijke

EgbertRijke

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
373 Stars
29 Forks
373 Watchers

Repositories (1)

HoTT-Intro EgbertRijke/HoTT-Intro Agda

An introductory course to Homotopy Type Theory

373