APA (7th ed.) Citation

Bottoni, M. L., Cattaneo, A. S., & Sacikara, E. (2025). Teaching "Foundations of Mathematics" with the Lean Theorem Prover.

Chicago Style (17th ed.) Citation

Bottoni, Mattia Luciano, Alberto S. Cattaneo, and Elif Sacikara. Teaching "Foundations of Mathematics" with the Lean Theorem Prover. 2025.

MLA (9th ed.) Citation

Bottoni, Mattia Luciano, et al. Teaching "Foundations of Mathematics" with the Lean Theorem Prover. 2025.