Emacs as a Lean IDE (No LSP/Eglot)
7:28
Emacs as a Lean IDE (No LSP/Eglot)
6.8K viewsNov 22, 2023
YouTubeGoparism
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
18.3K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
1:00:32
Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024
9.7K viewsDec 17, 2024
YouTubeDeFi Security Summit - DSS
10 minute Lean tutorial : proving logical propositions
7:53
Find in video from 00:19Proving Logical Propositions in Lean Tactic Mode
10 minute Lean tutorial : proving logical propositions
46.4K viewsApr 12, 2020
YouTubeXena Project
Proof, Provers, and the Lean Theorem Prover - Summer Special!
1:20:39
Find in video from 28:27Lean Theorem Prover
Proof, Provers, and the Lean Theorem Prover - Summer Special!
2.8K viewsAug 12, 2021
YouTubeData Science Cornwall
A taste of LeanLang
7:08
A taste of LeanLang
2 views2 months ago
YouTubeSiddhartha Gadgil
Reinventing Boolean Algebra (Lean Prover)
36:06
Reinventing Boolean Algebra (Lean Prover)
464 viewsSep 23, 2024
YouTubeCraft vs Cruft
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
127 views6 months ago
YouTubeINI Seminar Room 2
11:22
How I Use Emacs to Take Notes
7.5K views4 months ago
YouTubeThe Linux Cast
1:34:26
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover
2.4K viewsOct 18, 2024
YouTubeHarvard CMSA
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
220 views5 months ago
YouTubeFormalisation of Mathematics Seminar @ Cam
1:48:56
Yay Emacs live: Reorganizing my Emacs configuration so that my defuns are tangled to separate files
40 views2 months ago
YouTubeSacha Chua
13:55
Emacs Rules, Vim Drools? - Why I'm an Emacs Guy Now
17.4K views7 months ago
YouTubeThe Linux Cast
8:21
DeepSeek Prover-V2 7B: Formal Theorem Proving in Lean 4 - Install Locally
2.2K viewsMay 2, 2025
YouTubeFahd Mirza
14:41
Using the Lean Theorem Prover on CoCalc with VS Code and a Compute Server
409 viewsMay 10, 2024
YouTubeCoCalc by SageMath, Inc.
17:00
Leaving Evil-mode for Vanilla Emacs (and meow)
7.1K views2 months ago
YouTubeJoshua Blais
3:54
Seed-Prover 1.5: Lean Theorem Proving
101 views6 months ago
YouTubeAI Research Roundup
20:50
Let's code math | Lean4 | Theorem prover
25.7K viewsJul 30, 2024
YouTubeSplience
See more
Static thumbnail place holder