4 ms·Well, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).by emil-lp 2mo agoWell, to be fair, with Lean proofs, that's the only thing there is (unless I'm missing something).