Works elsewhere under the name Josef Urban
One page per author name as the sources print it. Not a Papex account.
3 works
- Munkres' General Topology Autoformalized in Isabelle/HOL · arXiv · 08 Apr 2026
- Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents · arXiv · 06 Mar 2026
- 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? · arXiv · 06 Jan 2026
Named here, or see a mistake? Write to privacy@papex.org.