Martin Kleppmann’s Blog
Distributed systems, databases, and information security
By registering you agree to Substack's Terms of Service, our Privacy Policy, and our Information Collection Notice
Verifying distributed systems with Isabelle/HOLHi there! Not posted for a while. In case you’re wondering, you’re getting this email because you subscribed to my blog posts at martin.kleppmann.com. There’s a new post on my blog: “Verifying distributed systems with Isabelle/HOL”. In this post, I share we’ve learnt about…