Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
43:05
Pawel Szulc - Formal verification applied (with TLA+)
33:11
The Hedera Hashgraph Advantage | Hedera18 Keynote
20:29
The Coq Proof Assistant, and Logical Foundations
1:23:13
Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)
1:14:48
The Future of Mathematics?
16:48
How Hashgraph Works - Dr. Leemon Baird at Thomson Reuters
1:58:09
Correctness proofs of distributed systems with Isabelle/HOL
42:43