Login
From:
siliconreckoner.substack.com
(Uncensored)
subscribe
Mechanization of mathematics: who decides?
https://siliconreckoner.substack.com/p/mechanization-of-mathematics-who
links
backlinks
Roast topics
Find topics
Find it!
Slideshow of the presentation at JMM 2025
