All Git Users → HoTT-Intro

1 open source projects by HoTT-Intro

[ Open user page on Github ]

Agda formalisation of the Introduction to Homotopy Type Theory

✭ 50

1-1 of 1 user projects