This is really cool! @kanzure posted this on X. Imagine what Bitcoin would be like if consensus had a spec that used formal verification techniques? (I didn't actually know what formal verification was, so I looked it up and found this Siemens blog post about it.)