Flat records for (co)cartesian fibrations.

the1lab / 1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

https://1lab.dev

GNU Affero General Public License v3.0

334 stars 63 forks source link

Open TOTBWF opened 1 month ago