Introduction to the Coq Proof Assistant
1:08:37
Introduction to the Coq Proof Assistant
736 viewsJan 31, 2021
bilibilitcdgwzc
How Do Proof Assistants Help in Theorem Proving?
3:03
How Do Proof Assistants Help in Theorem Proving?
2 views1 month ago
YouTubeLearn To Troubleshoot
How to use Coq with Proof General
6:44
How to use Coq with Proof General
21.8K viewsFeb 16, 2011
YouTubeAndrej Bauer
Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
31:09
Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
11.2K viewsOct 23, 2018
YouTubeHedera
Obtaining and Instaling the Coq Proof Assistant
3:12
Obtaining and Instaling the Coq Proof Assistant
20.1K viewsFeb 16, 2011
YouTubeAndrej Bauer
AI + Math Data = Proof Assistant Breakthroughs? #shorts
1:40
AI + Math Data = Proof Assistant Breakthroughs? #shorts
221 views2 weeks ago
YouTubeType Theory Forall
The Coq Proof Assistant, and Logical Foundations
20:29
The Coq Proof Assistant, and Logical Foundations
1.5K viewsDec 3, 2022
YouTubeTea Leaves
【Coq】【OPLSS】Coq Proof Assistant by Adam Chlipala
1.8K viewsMay 22, 2018
bilibili长明-R
1:49
AI Proof Assistant: Smarter Theorems or Dumb Advice? #shorts
142 views2 weeks ago
YouTubeType Theory Forall
50:33
Interactive Formal Verification, Lecture 3: Proof
324 viewsFeb 18, 2023
YouTubeLawrence Paulson
33:09
The Best New Programming Language is a Proof Assistant by …
3.5K views6 months ago
YouTubeAntithesis
6:52
Introducing the Deduce Proof Assistant
114 views4 months ago
YouTubeJeremy Siek
34:07
Writing Proofs in Deduce (Part 1)
42 views4 months ago
YouTubeJeremy Siek
1:07
1. Isabelle Proof Assistant - Intro
3.9K viewsDec 4, 2014
YouTubeWaafisoft
How to use CoqIDE
28.9K viewsFeb 16, 2011
YouTubeAndrej Bauer
1:48
Proofread documents faster with Drafting Assistant – Transactional
719 viewsOct 19, 2018
YouTubeThomson Reuters Canada Legal
20:43
Writing Proofs in Deduce (Part 2)
16 views4 months ago
YouTubeJeremy Siek
27:16
Proof by induction on linked lists in Deduce
7 views3 months ago
YouTubeJeremy Siek
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challe…
3.6K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
1:01:15
Prof. Natarajan Shankar | A tutorial introduction to the PVS proof assi…
1 views1 month ago
YouTubeINI Seminar Room 2
24:42
[ICFP'25] McTT: A Verified Kernel for a Proof Assistant
1 month ago
YouTubeACM SIGPLAN
4:32
为好奇的数学家准备的Lean prover研讨会, 2020
1.7K viewsJul 26, 2020
bilibiliTeichmuller
Generating and Exploiting Automated Reasoning Proof Certif…
Oct 1, 2023
acm.org
1:27:56
Jamie Vicary – Introducing homotopy.io: A proof assistant fo…
1.1K viewsOct 30, 2021
YouTubeFMF Foundations seminar
17:41
A Proof Tree Builder for Sequent Calculus and Hoare Logic
1.7K viewsAug 11, 2022
YouTubejoomy
1:26:37
Jon Sterling, Is it time for a new proof assistant?
1.8K views3 months ago
YouTubeHoTTEST
Lambda, the ultimate TA: using a proof assistant to teach program…
Aug 31, 2009
acm.org
0:18
How to learn Lean 4 proof assistant?
4.5K views2 months ago
YouTubeThe Honest Torus
18:02
Automated Mathematical Proofs - Computerphile
97.7K viewsAug 9, 2022
YouTubeComputerphile
1:06:43
Patrick Massot - Why Explain Mathematics to Computers?
2.2K viewsMay 14, 2022
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
See more videos
Static thumbnail place holder