130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

(arxiv.org) by PaulHoule | Mar 3, 2026 | 0 comments on HN