the1lab / 1labLinks

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
402Updated last month

Alternatives and similar repositories for 1lab

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

Sorting: