The Map: Mathematics Autoformalization Project
By Anon84 · 2026-10-09 · 1 points · 0 comments
https://twitter.com/jdlichtman/status/2097182834985168992
By Anon84 · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews