/HoTT-2023

Conference on Homotopy Type Theory 2023

Primary LanguageSCSSMIT LicenseMIT

Stargazers