Li, I. (Rucheng). “Formal Verification of the Euler Sieve via Lean”. Pittsburgh Interdisciplinary Mathematics Review, vol. 3, July 2025, pp. 82-101, doi:10.5195/pimr.2025.58.