3 articles · page 1 of 1
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