6 min read
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
Josef Urban's arXiv paper "130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?" discusses autoformalization in topology.