How do 'tactics' work in proof assistants?
How do 'tactics' work in proof assistants?
11 viewsApr 3, 2011
stackexchange.com
Introduction to the Coq Proof Assistant - Andrew Appel
1:08:37
Introduction to the Coq Proof Assistant - Andrew Appel
15.8K viewsAug 30, 2016
YouTubeInstitute for Advanced Study
Patrick Massot - Why Explain Mathematics to Computers?
1:06:43
Patrick Massot - Why Explain Mathematics to Computers?
2.4K viewsMay 14, 2022
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
Metamath Zero (MM0/MM1) tutorial
35:02
Metamath Zero (MM0/MM1) tutorial
4.1K viewsJan 4, 2021
YouTubeMario Carneiro
Living Proof: Kevin Buzzard and proof assistants
37:03
Living Proof: Kevin Buzzard and proof assistants
193 views7 months ago
YouTubeMillennium Mathematics Project - maths.org
Jon Sterling, Is it time for a new proof assistant?
1:26:37
Jon Sterling, Is it time for a new proof assistant?
4.6K views8 months ago
YouTubeHoTTEST
A Proof Tree Builder for Sequent Calculus and Hoare Logic
17:41
A Proof Tree Builder for Sequent Calculus and Hoare Logic
1.9K viewsAug 11, 2022
YouTubejoomy
1:49
AI Proof Assistant: Smarter Theorems or Dumb Advice? #shorts
759 views5 months ago
YouTubeType Theory Forall
1:01:15
Prof. Natarajan Shankar | A tutorial introduction to the PVS proof assistant
5 views5 months ago
YouTubeINI Seminar Room 2
0:18
How to learn Lean 4 proof assistant?
5K views6 months ago
YouTubeThe Honest Torus
1:07
1. Isabelle Proof Assistant - Intro
4K viewsDec 4, 2014
YouTubeWaafisoft
58:23
Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
248 views4 months ago
YouTubeInstitut Henri Poincaré
31:48
Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
12.3K viewsOct 23, 2018
YouTubeHedera
4:56
3. Isabelle Proof Assistant - a simple proof
8K viewsDec 4, 2014
YouTubeWaafisoft
6:44
How to use Coq with Proof General
21.9K viewsFeb 16, 2011
YouTubeAndrej Bauer
Lean Together 2019-2021
1.2K viewsJan 14, 2021
bilibiliTeichmuller
1:27:56
Jamie Vicary – Introducing homotopy.io: A proof assistant for geometrical higher category theory
1.2K viewsOct 30, 2021
YouTubeFMF Foundations seminar
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views6 months ago
YouTubeAnk Yog
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
4.9K viewsSep 7, 2023
YouTubeTopos Institute
21:15
[PLDI24] Live Verification in an Interactive Proof Assistant
137 viewsJul 23, 2024
YouTubeACM SIGPLAN
A Certifying Proof Assistant for Synthetic Mathematics in Lean | Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
3 months ago
acm.org
1:27:46
Lean Together 2021: Panel on teaching with proof assistants
1.6K viewsJan 7, 2021
YouTubeleanprover community
33:09
The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006
8.7K views11 months ago
YouTubeAntithesis
1:09:55
Valery Isaev - Arend proof assistant
1.1K viewsNov 2, 2021
YouTubeFMF Foundations seminar
48:48
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
4.2K viewsFeb 14, 2023
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
1:03:29
What Happens to Software When Proof is Cheap?
8.1K views1 month ago
YouTubePaul G. Allen School
5:05
Introductory Proof: Commutativity of Addition in Coq
11.8K viewsMar 11, 2014
YouTubeIntroduction to Computational Logic
18:55
Gödel's Incompleteness Theorem - Computerphile
100.9K views9 months ago
YouTubeComputerphile
21:30
Lean
Feb 15, 2023
Microsoft
See more
Static thumbnail place holder