the1lab / 1labLinks

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
370Updated this week

Alternatives and similar repositories for 1lab

Users that are interested in 1lab are comparing it to the libraries listed below

Sorting: