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