I. (Rucheng) Li, “Formal verification of the Euler Sieve via Lean”, Pittsburgh Interdiscip. Math. Rev., vol. 3, pp. 82–101, Jul. 2025.