Some good mentions elsewhere in the thread, another to check out is The Incredib... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

hcs on July 31, 2025 | parent | context | favorite | on: The Math Is Haunted

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

foooooobar on July 31, 2025 [–]

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

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact