Hacker News new | ask | show | jobs
by ogogmad 254 days ago
Errr, checking correctness of proofs is decidable.