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