APA (7th ed.) Citation

Li, X., Peng, N., Severini, S., & Shafto, P. (2026). The Network Structure of Mathlib.

Chicago Style (17th ed.) Citation

Li, Xinze, Nanyun Peng, Simone Severini, and Patrick Shafto. The Network Structure of Mathlib. 2026.

MLA (9th ed.) Citation

Li, Xinze, et al. The Network Structure of Mathlib. 2026.