Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

⌘K

Full university courses, lectures, and study paths—free of ads and clutter.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Speakers

Workspace

Saved Library
Study Notebook
About & Mission
Help & Feedback
Terms, Privacy & Copyright
Rights & Takedown
RSS Feed
Sitemap

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

© 2026 Lectern·Independent Academic Archive·Terms & Copyright·YouTube Terms·Google Privacy

⌘K to search · ? for shortcuts

/

Academic Discipline

Systems & CS

Distributed systems, databases, operating systems, compilers, programming languages, networking, and computer architecture.

18courses·296standalone talks·543total lectures

Subfields

All Systems & CS543 Programming Languages151 Software Design & HCI117 Database Systems97 Operating Systems96 Distributed Systems87 Computer Architecture72 Algorithms & Data Structures56 Systems Security41 Malleable Computing & Dynamic Media38 Computer Networks & Cloud14 Computer Vision & Graphics6 Probability & Information Theory6

All Distributed Systems Fault Tolerance & Replication21 Consensus (Raft & Paxos)13 Consistency & Linearizability13 Distributed Transactions12 MapReduce & Dataflow7 Python6 Java4 Educational Pedagogy2 Formal Methods2 Multi-Agent Systems2 Project Valhalla2 Python Programming2

Save

Correctness Proofs of Distributed Systems with Isabelle

Correctness Proofs of Distributed Systems with Isabelle

Conference Talk·Formal Verification & Logic · Martin Kleppmann · University of Cambridge

Martin Kleppmann

University of Cambridge

—

44:37

More categories

Mathematics (519)Physics & Cosmology (490)AI & Machine Learning (262)History & Humanities (398)Philosophy & Ethics (296)Biology & Neuroscience (297)Economics & Finance (342)Algorithms & Theory (359)Engineering & Robotics (240)

Isabelle/HOL

1