Program Proofs and Loop Invariants
20:26
Find in video from 00:11A Simple Program without Loops
Program Proofs and Loop Invariants
56.5K viewsAug 28, 2013
YouTubeDavid Taylor
Proofs are Programs
12:26
Proofs are Programs
14.4K viewsApr 26, 2025
YouTubeAttic Philosophy
Proofs as Programs: Unifying Logic and Code
4:41
Proofs as Programs: Unifying Logic and Code
98 views8 months ago
YouTubeThoughtLab
Loop Invariant Proofs (proofs, part 1)
32:34
Find in video from 01:04Loop Invariant Proof Structure
Loop Invariant Proofs (proofs, part 1)
73.9K viewsFeb 8, 2021
YouTubeAlgorithms Lab
Programming with Proofs - Computerphile
17:14
Find in video from 06:08Proving Ref Function with Snog and Trans Programs
Programming with Proofs - Computerphile
78.9K viewsSep 3, 2021
YouTubeComputerphile
Proofs as Programs: The Quest for Perfect Code
7:25
Proofs as Programs: The Quest for Perfect Code
4 views4 months ago
YouTubeThoughtLab
Programming Proofs and Proving Programs
56:08
Programming Proofs and Proving Programs
2.5K viewsAug 9, 2016
YouTubeMicrosoft Research
18:02
Find in video from 01:04Proof Assistant Lea
Automated Mathematical Proofs - Computerphile
106.1K viewsAug 9, 2022
YouTubeComputerphile
17:52
An Introduction to Mathematical Proofs
53.1K views4 months ago
YouTubeEllie Sleightholm
6:49
The Architecture of Formal Proofs and Programming
6 views6 months ago
YouTubeThoughtLab
7:32
The Logic of Proofs. The Proof-as-Program Isomorphism
4 views5 months ago
YouTubeThoughtLab
7:09
The Curry-Howard Isomorphism: Proofs as Programs
66 views4 months ago
YouTubeThoughtLab
25:13
Find in video from 01:04Importance of Logic in Computer Programming
Logic for Programmers: Propositional Logic
108.6K viewsJul 20, 2018
YouTubefreeCodeCamp.org
7:41
Find in video from 00:22What is Correctness Proof?
COMP526 0-5 Proof techniques for correctness proofs of programs
817 viewsFeb 10, 2021
YouTubeSebastian Wild (Lectures)
2:20:51
Intro To Math Proofs (Full Course)
596.7K viewsAug 5, 2024
YouTubeBriTheMathGuy
4:12
Can Formal Methods Prove Program Specifications?
5 views4 months ago
YouTubeLearn To Troubleshoot
22:14
[CPP'26] Building Blocks for Step-Indexed Program Logics
22 views3 months ago
YouTubeACM SIGPLAN
4:34
The Halting Problem Explained: Undecidability in Computer Science
407 views10 months ago
YouTubeCodeLucky
44:35
Find in video from 03:58Functional Programming in Haskell
(Programming Languages) in Agda = Programming (Languages in Agda) b…
10.3K viewsSep 6, 2019
YouTubeCodegram
11:24
All of MATHEMATICAL PROOFS explained in 11 Minutes
28.8K viewsApr 19, 2025
YouTubeGraphicode
2:48
What Is a Proof of Program Correctness?
7 views4 months ago
YouTubeLearn To Troubleshoot
14:23
What are...computer proofs?
1.3K viewsJul 15, 2023
YouTubeVisualMath
5:27
Program Verification & Algorithm Analysis | Full Guide For Beginners i…
1.3K views8 months ago
YouTubeBCA EXPERT
6:51
Proof is Program: Normalization and Curry-Howard
31 views5 months ago
YouTubeThoughtLab
4:14
Find in video from 03:17Conclusion of Halt Program Cannot Exist
The Halting Problem: The Unsolvable Problem
233.8K viewsApr 22, 2020
YouTubelydia
19:03
What is the future of Software Engineering in next 5 years?
675.8K viewsAug 23, 2024
YouTubeApna College
20:19
Proof Techniques in Discrete Math | Direct, Contraposition, Contradiction …
9.1K views11 months ago
YouTubeSoundarya's study-zone
1:23:41
23. Probabilistic Computation, BPP
11.3K viewsOct 6, 2021
YouTubeMIT OpenCourseWare
11:05
vProgs vs Smart Contracts: When Should You Use Each?
823 views3 weeks ago
YouTubeCityXcape
36:50
Find in video from 02:05Direct Proofs
Discrete Mathematical Structures, Lecture 2.5: Proofs in propositional c…
2.3K viewsFeb 26, 2019
YouTubeProfessor Macauley
See more videos
Static thumbnail place holder