Skip to content

feat(lean4): add imaginary stack toy model (decomposed from #4070) - #4708

Merged
AceHack merged 2 commits into
mainfrom
lior-decompose-4070-lean
May 23, 2026
Merged

feat(lean4): add imaginary stack toy model (decomposed from #4070)#4708
AceHack merged 2 commits into
mainfrom
lior-decompose-4070-lean

docs(research): clarify finite-field vs ℝ-analytic metric in Lemma 1 …

01bceb0
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded May 23, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.