-
HSvKT Public
A formalization of higher Seifert-van Kampen theorem in Cubical Agda
Agda UpdatedFeb 18, 2025 -
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
-
resizable-prop-truncation Public
Some Thoughts on Resizable Propositional Truncation
Agda UpdatedOct 1, 2023 -
-
cubical-classics Public
An attempt towards univalent classical mathematics in Cubical Agda.
-
yoneda Public
Forked from emilyriehl/yonedacomparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
Lean UpdatedAug 21, 2023 -
-
cubical-experiments Public
Forked from ncfavier/agda-stuffFun with 🧊
{{ message }}