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·287standalone talks·534total lectures

Subfields

All Systems & CS534 Programming Languages151 Software Design & HCI114 Database Systems97 Operating Systems96 Distributed Systems85 Computer Architecture71 Algorithms & Data Structures56 Systems Security40 Malleable Computing & Dynamic Media37 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 System Architecture2

Save

Correctness Proofs of Distributed Systems with Isabelle

Correctness Proofs of Distributed Systems with Isabelle

Conference Talk·Formal Verification & Logic · Martin Kleppmann · Code Mesh LDN

Martin Kleppmann

LDCode Mesh LDN

—

44:37

More categories

Mathematics (519)Physics & Cosmology (490)AI & Machine Learning (258)History & Humanities (391)Philosophy & Ethics (280)Biology & Neuroscience (296)Economics & Finance (339)Algorithms & Theory (358)Engineering & Robotics (240)

Formal Verification & Logic

1