[jswny]

Does anyone do TLA style distributed systems verification with Lean? Curious the experience there and how well supported it is

[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.