APA (7th ed.) Citation

Norman, C., & Avigad, J. (2025). Canonical for Automated Theorem Proving in Lean.

Chicago Style (17th ed.) Citation

Norman, Chase, and Jeremy Avigad. Canonical for Automated Theorem Proving in Lean. 2025.

MLA (9th ed.) Citation

Norman, Chase, and Jeremy Avigad. Canonical for Automated Theorem Proving in Lean. 2025.

Warning: These citations may not always be 100% accurate.