114-module sorry-free Lean 4 formalization of the reduced Mahler 3/2 dynamical system (Z-numbers), 1D minSlack reduction, 113-step coasting survivor, and certified transcendence barriers
Lean Updated 1 day ago 1 commits
sigma-ai|Mirror: jjc16/mahler-3-2-lean4 (⭐0)
1 day agoAbout
114-module sorry-free Lean 4 formalization of the reduced Mahler 3/2 dynamical system (Z-numbers), 1D minSlack reduction, 113-step coasting survivor, and certified transcendence barriers
Readme