foooooobar·قبل 12 شهرًا·discussFun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)