APA (7th ed.) Citation

Bryant, D., Munive, J. J. H. y., Kaliszyk, C., & Urban, J. (2026). Munkres' General Topology Autoformalized in Isabelle/HOL.

Chicago Style (17th ed.) Citation

Bryant, Dustin, Jonathan Julián Huerta y. Munive, Cezary Kaliszyk, and Josef Urban. Munkres' General Topology Autoformalized in Isabelle/HOL. 2026.

MLA (9th ed.) Citation

Bryant, Dustin, et al. Munkres' General Topology Autoformalized in Isabelle/HOL. 2026.