Two finished Lean proofs, 73 formalization attempts of which 70 still contain sorry, and three R(5,5) SAT instances published as artifacts
Lean Updated about 2 months ago 1 commits
drift-coder|Mirror: jaredwilder/erdos-lean-remainder (⭐0)
about 2 months agoAbout
Two finished Lean proofs, 73 formalization attempts of which 70 still contain sorry, and three R(5,5) SAT instances published as artifacts
Readme