Great to see people getting excited about Veil! Many more formal verification wonders are looming 🙂

In the meantime, come see our Veil talk at CAV'25 in Zagreb on July 24th!

@notypes's post is at https://people.csail.mit.edu/rachit/post/pldi-2025/

🚨 New tool & paper! 🚨

We’re excited to introduce Veil, a framework for verifying distributed & concurrent systems both automatically and interactively — all inside Lean 4.

Veil gives you the best of both worlds:
– Push-button verification via SMT solvers
– Interactive proofs when automation falls short

📄 https://pirlea.net/papers/veil-cav25.pdf
🛠️ https://github.com/verse-lab/veil
🔍 Try it, use it, break it — we’d love your feedback!
🔁 Boost to share with your formal methods & distributed systems friends!