Skip to content

Add semi-additive categories infrastructure#2305

Merged
jdchristensen merged 1 commit into
HoTT:masterfrom
CharlesCNorton:patch-8
Jun 11, 2026
Merged

Add semi-additive categories infrastructure#2305
jdchristensen merged 1 commit into
HoTT:masterfrom
CharlesCNorton:patch-8

Add semi-additive categories infrastructure

c88dfc2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

11 warnings
opam-build (9.2, ubuntu-latest)
succeeded Jun 10, 2026 in 4m 16s