Post

New post on Proofs and Intuitions: Verifying Distributed Protocols in Veil, in which I give a tour of Veil, our Lean-based verifier for distributed protocols that combines TLA+-style model checking with formal proofs and enables AI-powered invariant inference.