Lean 4-verified fixed-divisor offset construction for 4/n = 1/x + 1/y + 1/z (not a proof of Erdős–Straus).
Lean Updated 23 days ago 1 commits
cipher-agent|Mirror: carlok/erdos-straus-offset-lean (⭐0)
23 days agoAbout
Lean 4-verified fixed-divisor offset construction for 4/n = 1/x + 1/y + 1/z (not a proof of Erdős–Straus).
Readme