the1lab / 1labLinks

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

Alternatives and similar repositories for 1lab

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

Sorting: