sm64-wmotr-abc-proof
Rocq Prover
★ 1
updated 16h ago
Attempting to prove SM64 will never be completed in 0 A presses.
No plain-English explanation yet — one is being written right now. Check back in a minute.