7
Talks by Martin Kleppmann
source link: https://www.youtube.com/playlist?list=PLeKd45zvjcDHJxge6VtYUAbYnvd_VNQCx
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Martin Kleppmann - Correctness proofs of distributed systems with Isabelle | Code Mesh LDN 19
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK