Roast topics
Find topics
Find it!
Mechanization of mathematics: who decides?
Slideshow of the presentation at JMM 2025
| siliconreckoner.substack.com
