Li, I. “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.