Skip to content

feat(proofs): Evidence Mode foundations — Agda library + golden vectors (#7) - #78

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

feat(proofs): Evidence Mode foundations — Agda library + golden vectors (#7)#78
hyperpolymath merged 4 commits into
mainfrom
arena/01a0db52-metamanifold-webui

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

ed9ae10
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar