Limits and colimits in simplicial homotopy type theory
Date:
Contributed talk during the Interactions of Proof Assistants and Mathematics Summer School at Regensburg.
Date:
Contributed talk during the Interactions of Proof Assistants and Mathematics Summer School at Regensburg.