130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (via edoput) — discussion

#formalmethods #pdf