Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Introduction to Formal Verification with Lean Part 1. Parent comment
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.
There are no comments on this comment yet.
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.