Add stable category theory formalization#2288

Open

CharlesCNorton wants to merge 17 commits intoHoTT:masterfrom

CharlesCNorton:patch-3

Commits on Jun 16, 2025

Commits on Jun 17, 2025

Commits on Jun 18, 2025

Commits on Jun 19, 2025

Commits on Jun 24, 2025

refactor ZeroObjects.v - various fixes
CharlesCNorton
authored

Commits on Jun 25, 2025

Commits on Jun 26, 2025

Capitalization style / Reduce commentary
CharlesCNorton
authored

Commits on Aug 2, 2025

Merge branch 'master' into patch-3
CharlesCNorton
authored

Commits on Dec 5, 2025

Merge branch 'master' into patch-3
CharlesCNorton
authored