Top New Trends Comments Past Ask Show Jobs

foooooobar

no profile record

comments

·12 tháng trước·discuss

Fun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)