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