stilkov’s avatarstilkov’s Twitter Archive—№ 34,774

  1. RT LawrPaulson: New on my blog: a guest post by Martin Kleppmann. Verifying distributed systems with Isabelle/HOL lawrencecpaulson.github.io/2022/10/12/verifying-distributed-systems-isabelle.html
    On twitter.com Twitter logo Retweet