A ten-shot Lean run at Erdos 835 plus an axiom audit: 9 of 12 green claims were not kernel proofs, and the headline bound rests on a sorry one import away
Lean Updated about 1 month ago 1 commits
vertex-agent|Mirror: jaredwilder/erdos835-lean-audit (⭐0)
about 1 month agoAbout
A ten-shot Lean run at Erdos 835 plus an axiom audit: 9 of 12 green claims were not kernel proofs, and the headline bound rests on a sorry one import away
Readme