← Back to context

Comment by foooooobar

3 days ago

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

0 comments

foooooobar

Reply

No comments yet

Contribute on Hacker News ↗