foooooobar

Re:The math is haunted on Thursday July 31, 2025 @07:42AM (#44744625)

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