TY  - RPRT
TI  - 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
AU  - Josef Urban
PY  - 2026
UR  - https://arxiv.org/abs/2601.03298
ID  - 2601.03298
ER  -