The Verified Software Report
Stay ahead of the curve
A biweekly dispatch on the convergence of AI and formal verification. New research, production deployments, and what practitioners need to know. No hype. No filler.
Free. Unsubscribe anytime. No spam, ever.
What you'll get
- New research — Breakthroughs in automated theorem proving, AI-driven verification, and formal methods tooling.
- Production deployments — Who's shipping verified software and what they've learned.
- Ecosystem developments — Updates from Lean, Mathlib, LeanDojo, and the broader formal verification community.
- Practical guidance — What this means for your stack, your team, and your roadmap.