130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (Short Paper).

Josef Urban

Browse the full ITP paper archive.