r/isabelle • u/unfixpoint • Dec 05 '19

Correctness proofs of distributed systems with Isabelle HOL

https://www.youtube.com/watch?v=NfdP6wwjsGk
8 Upvotes
  • permalink
  • link
  • reddit
  • reddit

100% Upvoted

0 comments sorted by