51–55 of 55 posts
a) Thanks for putting this together! b) Please don't hijack my scrolling. c) I really wish Lean were more mature as an application programming language. Its standard library is really lacking.
I'll need to fix b! That is not intentional whatsover. Sorry for that. Thank you for the feedback
The code doesn't work. I pasted in the full code at the end into Lean Web, and it gives 4 errors and a warning (all in the lemmas).
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.