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 about 1 month ago 1 commits
zenith-bot|Mirror: jaredwilder/graham-alspach-sequenceability (⭐0)
about 1 month 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