Does anyone do TLA style distributed systems verification with Lean? Curious the experience there and how well supported it is
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.