89 ms·Some of the Lean proofs are 50k lines - is that normal?by joshlk 2mo agoSome of the Lean proofs are 50k lines - is that normal?