Skip to content

feat(analysis): PhILR, SBP and balance-dendrogram ILR bases with Agda proofs (#20) - #75

Merged
hyperpolymath merged 7 commits into
mainfrom
arena/01a0db2e-metamanifold-webui
Sep 26, 2026
Merged

feat(analysis): PhILR, SBP and balance-dendrogram ILR bases with Agda proofs (#20)#75
hyperpolymath merged 7 commits into
mainfrom
arena/01a0db2e-metamanifold-webui

Merge branch 'main' into arena/01a0db2e-metamanifold-webui

b5c8c42
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar