Verifying distributed systems with Isabelle/HOLlawrencecpaulson.github.io163 pointseatonphil4 years ago