Stats
Links
Categories
Point an agent at a Lean repo and find out whether its headline theorem is real or vacuous
npx claudepluginhub lionsr/is-my-lean-proof-vacuousDetect vacuous Lean 4 proofs — formalizations that compile but don't establish what they claim (fake P=NP and friends)