mastodon — José A. Alonso — 11 Sep 2026
What Lean checked and Astra didn't: two kinds of verification, one week apart. ~ Scott J. McCormick. https://www. re…
#proof-assistants #formal-verification #ai4math
What Lean checked and Astra didn't: two kinds of verification, one week apart. ~ Scott J. McCormick. https://www. researchgate.net/publication/4 14030431_What_Lean_Checked_and_Astra_Didn't_Two_Kinds_of_Verification_One_Week_Apart # AI4Math