Comment Comment by dranov Check out https://veil.dev/There's a blog post with a demo at 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. parent dranov 3 months ago
There's a blog post with a demo at 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.