Lean 4 closures of Graham/Alspach sequenceability in Z_29 and Z_31, independently re-verified, with the native_decide trust footprint stated
Lean Updated 21 days ago 1 commits
zenith-bot|Mirror: jaredwilder/graham-alspach-sequenceability (⭐0)
21 days agoAbout
Lean 4 closures of Graham/Alspach sequenceability in Z_29 and Z_31, independently re-verified, with the native_decide trust footprint stated
Readme