APA (7th ed.) Citation

Qian, Y., Clune, J., Barrett, C., & Avigad, J. (2025). Lean-auto: An Interface between Lean 4 and Automated Theorem Provers.

Chicago Style (17th ed.) Citation

Qian, Yicheng, Joshua Clune, Clark Barrett, and Jeremy Avigad. Lean-auto: An Interface Between Lean 4 and Automated Theorem Provers. 2025.

MLA (9th ed.) Citation

Qian, Yicheng, et al. Lean-auto: An Interface Between Lean 4 and Automated Theorem Provers. 2025.