Some good mentions elsewhere in the thread, another to check out is The Incredible Proof Machine

hcs • 07/31/2025 • 1 reply • view on HN

Some good mentions elsewhere in the thread, another to check out is The Incredible Proof Machine https://incredible.pm/

foooooobar • 07/31/2025

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

alt Hacker News