The Groupoid Model of Homotopy Type Theory in Lean4
Published:
This work depends on the formalization of two other projects: Polynomial Functors and Fibred Categories.
Published:
This work depends on the formalization of two other projects: Polynomial Functors and Fibred Categories.