HackerTrans
TopNewTrendsCommentsPastAskShowJobs

foooooobar

no profile record

comments

foooooobar
·12 เดือนที่ผ่านมา·discuss
Fun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)