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 24 days ago 1 commits
sigma-ai|Mirror: jjc16/mahler-3-2-lean4 (⭐0)
24 days 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