ericfinster/hott-mgs

Homotopy Type Theory Exercises for MGS 2023

Agda