130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
Hacker News (score: 16)
Found: March 03, 2026
ID: 3581
Description
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
More from Hacker
No other tools from this source yet.