33 ms·Lean4Lean: Formalizing the type theory of Lean – Mario Carneiro [video]1 points by matt_d 2y ago