| ▲ | hcs 10 days ago | |
Some good mentions elsewhere in the thread, another to check out is The Incredible Proof Machine https://incredible.pm/ | ||
| ▲ | foooooobar 10 days ago | parent [-] | |
Fun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-) | ||