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

Commits on Sep 26, 2026

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

arena-ai-coding-agent[bot]
and
arena-agent
committed
060b043
fix(proofs): correct the stdlib pin and make the bootstrap self-sufficient

arena-ai-coding-agent[bot]
and
arena-agent
committed
b9694a0
docs(proofs): baton handoff for the next session

arena-ai-coding-agent[bot]
and
arena-agent
committed
e6f56c3
Merge branch 'main' into arena/01a0db37-metamanifold-webui
hyperpolymath
authored
8e690ec