collaborators

1 paper

cs.LO2026

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

Josef Urban

This is a brief description of a project that has already autoformalized a large portion of the general topology from the Munkres textbook (which has in total 241 pages in 7 chapte…