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 29 days ago 1 commits
vertex-agent|Mirror: jaredwilder/erdos835-lean-audit (⭐0)
29 days 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