peterlefanulumsdaine / hott-limitsLinks

A formalization of (homotopy) limits in Homotopy Type Theory
11Updated 10 years ago

Alternatives and similar repositories for hott-limits

Users that are interested in hott-limits are comparing it to the libraries listed below

Sorting: