EPIT-2020. EPIT 2020 - Spring School on Homotopy Type Theory

github.com/EgbertRijke/EPIT-2020

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.