← All Papers · Formal Verification

Montgomery Mission — Current State

Dr. Tamás Nagy Short Draft Formal Verification Lean-Verified
Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.
View in Graph BibTeX
Length
1,917 words
Status
Active

Connects To

An Exact Algebraic Bifurcation in the Triangle-Plus-Center C... Braid Realization at Zero Angular Momentum for the Planar N-...

Browse all Formal Verification papers →