5 articles · page 1 of 1
Palomar: A registry of Lean verified mathematics
2026-08-19
The Case Against Formal Verification, 50 Years Later
2026-08-16
Leanstral 1.5: Proof abundance for all
2026-07-03
What can you confidently guarantee about your software?
2026-06-29
Lean proved this program correct; then I found a bug
2026-04-14