Hacker News new | ask | show | jobs
by jmgrosen 921 days ago
given the crackpot proofs received by coq-club, i imagine it would indeed