From Trust to Verification: Lean's Impact on Mathematics(simonsfoundation.org)
simonsfoundation.org
From Trust to Verification: Lean's Impact on Mathematics
https://www.simonsfoundation.org/2026/06/23/from-trust-to-verification-leans-impact-on-mathematics/
0 comments
—