LI, I. (Rucheng). Formal verification of the Euler Sieve via Lean. Pittsburgh Interdisciplinary Mathematics Review, Pittsburgh, v. 3, p. 82–101, 2025. DOI: 10.5195/pimr.2025.58. Disponível em: https://pimr.pitt.edu/pimr/article/view/58. Acesso em: 17 jul. 2025.