Hacker News new | ask | show | jobs
by namin 138 days ago
Ha. At least you can check the theorem statements and see that the proofs verify :)