Skip to content

feat(proofs): Agda formal verification of the numeric core (issue #1) - #79

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

feat(proofs): Agda formal verification of the numeric core (issue #1)#79
hyperpolymath merged 4 commits into
mainfrom
arena/01a0db37-metamanifold-webui

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

8e690ec
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar