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 1 month ago 1 commits
drift-coder|Mirror: jaredwilder/erdos-lean-remainder (⭐0)
about 1 month 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