Hacker News new | ask | show | jobs
by bsznjyewgd 3095 days ago
Because the interpreter for mathematical proofs is far more forgiving than the interpreter for code.