<p>🚨 New tool & paper! 🚨</p><p>We’re excited to introduce Veil, a framework for verifying distributed & concurrent systems both automatically and interactively — all inside Lean 4.</p><p>🛠️Veil gives you the best of both worlds: <br />– Push-button verification via SMT solvers<br />– Interactive proofs when automation falls short</p><p>📄 <a href="https://pirlea.net/papers/veil-cav25.pdf" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">pirlea.net/papers/veil-cav25.p</span><span class="invisible">df</span></a><br />🛠️ <a href="https://github.com/verse-lab/veil" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/verse-lab/veil</span><span class="invisible"></span></a><br />🔍 Try it, use it, break it — we’d love your feedback!<br />🔁 Boost to share with your formal methods & distributed systems friends!</p>
