News for hackers. Stuff that matters.

A comment on The math is haunted. Parent comment

Re:The math is haunted by hcs on Thursday July 31, 2025 @12:06AM (#44742216)
Some good mentions elsewhere in the thread, another to check out is The Incredible Proof Machine https://incredible.pm/
[ Parent | on HN ]
Re:The math is haunted by foooooobar on Thursday July 31, 2025 @07:42AM (#44744625)
Fun fact: the author of the The Incredible Proof Machine (Joachim Breitner) also works on Lean :-)
[ Parent | on HN ]