Check out https://veil.dev/ https://veil.dev/ There's a blog post with a demo at https://proofsandintuitions.net/2026/02/09/distributed-verification-veil/ http

Check out https://veil.dev/ https://veil.dev/ There's a blog post with a demo at https://proofsandintuitions.net/2026/02/09/distributed-verification-veil/ https://proofsandintuitions.net/2026/02/09/distributed-verif... It's still early days, but we're committed to making distributed protocol verification work extremely well in Lean.