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.3K viewsDec 17, 2024
YouTubeDeFi Security Summit - DSS
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover
1:34:26
Math and Machine Learning Program 10/15/24 | Tutorial on the Lean theorem prover
2.5K viewsOct 18, 2024
YouTubeHarvard CMSA
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
20.1K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)
24:07
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)
1.5K views5 months ago
YouTubeleanprover community
my niche emacs ecosystem
28:31
my niche emacs ecosystem
59.9K views4 months ago
YouTubejkwon
Prof. Jeremy Avigad | The Lean Theorem Prover
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
135 views7 months ago
YouTubeINI Seminar Room 2
Yury Kudryashov : Lean prover and its uses with AI for solving math problems
1:59:02
Yury Kudryashov : Lean prover and its uses with AI for solving math problems
178 views9 months ago
YouTubealexander shen
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
28:11
Bending Emacs Episode 13: agent-shell + Claude Skills + Charts
3.5K views4 months ago
YouTubexenodium
36:35
Bending Emacs Episode 10: AI / LLM agent-shell
14.2K views6 months ago
YouTubexenodium
1:07:47
Alex Kontorovich - Formalization for the Research Mathematician
1.5K views2 months ago
YouTubeStony Brook Mathematics
23:15
EmacsConf 2025: One year progress update Schemacs (formerly Gypsum) - Ramin Honary (he/him)
720 views7 months ago
YouTubeEmacsConf and Emacs hangouts
1:38:16
Declarative UIs in Emacs with vui.el - System Crafters Live!
2.3K views5 months ago
YouTubeSystem Crafters
44:55
Proofs for programs, programs for proofs - Julia Himmel
496 views3 weeks ago
YouTubeBOBKonf
1:15:38
Emacs lisp and gptel building custom llm tools to call emacs functions
1K views8 months ago
YouTubeNapoleonWils0n
34:18
Effective Golang in Emacs
2.7K views8 months ago
YouTubeSkybert Hacks
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the Lean Theorem Prover
216 views5 months ago
YouTubeIBS Discrete Mathematics Group
20:50
Let's code math | Lean4 | Theorem prover
25.7K viewsJul 30, 2024
YouTubeSplience
See more
Static thumbnail place holder