Hacker News new | past | comments | ask | show | jobs | submit
emil-lp | on: Ten advances in mathematics and theoretical computer science
Well, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).