Skip to content

Add Layer 1 formal verification: Lean 4 SIDE24 arithmetic pilot, formalization registry, fail-closed gate, review lane - #178

Merged
cursor[bot] merged 4 commits into
mainfrom
cursor/formal-verification-layer-1b16
Sep 27, 2026
Merged

Add Layer 1 formal verification: Lean 4 SIDE24 arithmetic pilot, formalization registry, fail-closed gate, review lane#178
cursor[bot] merged 4 commits into
mainfrom
cursor/formal-verification-layer-1b16

Merge origin/main into formal-verification lane; reconcile AGENTS.md …

dc36629
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar