Li, I. (Rucheng) 2025. Formal verification of the Euler Sieve via Lean. Pittsburgh Interdisciplinary Mathematics Review. 3, (Jul. 2025), 82–101. DOI:https://doi.org/10.5195/pimr.2025.58.