5 ms·
Does anyone do TLA style distributed systems verification with Lean? Curious the experience there and how well supported it is
by jswny 2mo ago
Does anyone do TLA style distributed systems verification with Lean? Curious the experience there and how well supported it is
- dranov 2mo agoCheck 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.