HoTT-Intro / Coq

Formalization of the Introduction to Homotopy Type Theory in Coq

Geek Repo

Github PK Tool