3 ms·
Some good mentions elsewhere in the thread, another to check out is The Incredible Proof Machine https://incredible.pm/ https://incredible.pm/
by hcs 1y ago
Some good mentions elsewhere in the thread, another to check out is The Incredible Proof Machine https://incredible.pm/ https://incredible.pm/
- foooooobar 1y agoFun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)