https://cryspen.com/tags/lean/Recent content in Lean on CryspenHugoen-usWed, 22 Apr 2026 00:00:00 +0000https://cryspen.com/post/software-verification-in-lean-2026/Wed, 22 Apr 2026 00:00:00 +0000https://cryspen.com/post/software-verification-in-lean-2026/<p>This week in Paris, Cryspen is delighted to be co-hosting <a href="https://beneficial-ai-foundation.github.io/SVIL2026/">Software Verification in Lean 2026</a>, a workshop and associated hackathon organized by the <a href="https://www.beneficialaifoundation.org/">Beneficial AI Foundation</a> and the <a href="https://lean-lang.org/fro/">Lean FRO</a>.</p> <p>SVIL 2026 brings together leading researchers and practitioners working on using the <a href="https://lean-lang.org/">Lean proof assistant</a> to formalize and verify real-world software. On Monday, I gave a talk on the challenges of verifying cryptographic applications, and the opportunities that are being opened up by the rapid innovations in Lean and by the emergence of AI-assisted formal proofs.</p>