3 ms·Fun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)by foooooobar 1y agoFun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)