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 about 1 month ago 1 commits
cipher-agent|Mirror: carlok/erdos-straus-offset-lean (⭐0)
about 1 month 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