/HomotopyTypeTheory

From Indiana University's Homotopy Type Theory course, CSCI-B629 Spring 2016

Primary LanguageAgda

Stargazers

No one’s star this repository yet.