/HoTT-Intro

An introductory course to Homotopy Type Theory

Primary LanguageAgdaCreative Commons Attribution 4.0 InternationalCC-BY-4.0

Stargazers