[–] gus_massa 7d ago ↗ > Verification in Lean 4Someone posted a P=NP solution last week with a verification in Lean, but after looking it used "sorry" and "axiom".Is your solution "sorry" and "axiom" free?
1 comment
[ 0.18 ms ] story [ 3.2 ms ] threadSomeone posted a P=NP solution last week with a verification in Lean, but after looking it used "sorry" and "axiom".
Is your solution "sorry" and "axiom" free?