Reading up on formal-verification
2 deep · digging since mar 13
- Cheap code means formal verification is reasonable now — Antfly Blog
The Antfly team shows how coding agents using TLA+ can formally model distributed systems to cheaply find and verify race conditions and other bugs.
- Don't Vibe — Prove
Dependent types in Lean 4 unify specification and implementation, letting AI generate provably correct code while the compiler verifies correctness automatically.