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