10 minute Lean tutorial : proving logical propositions
7:53
10 minute Lean tutorial : proving logical propositions
視聴回数: 4.5万 回2020年4月12日
YouTubeXena Project
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) - DS…
視聴回数: 8437 回2024年12月17日
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 theor…
視聴回数: 2168 回2024年10月18日
YouTubeHarvard CMSA
Automatic Theorem Proving (Example - 1)
5:19
01:05 からのビデオで検索Proving the Law of Addition using Automatic Theorem Proving
Automatic Theorem Proving (Example - 1)
視聴回数: 6013 回2020年9月12日
YouTubeDr. G Kiran Kumar tutorials
Let's code math | Lean4 | Theorem prover
20:50
Let's code math | Lean4 | Theorem prover
視聴回数: 2.4万 回2024年7月30日
YouTubeSplience
Prof. Jeremy Avigad | The Lean Theorem Prover
1:07:25
Prof. Jeremy Avigad | The Lean Theorem Prover
視聴回数: 61 回3 か月前
YouTubeINI Seminar Room 2
Proof, Provers, and the Lean Theorem Prover - Summer Special!
1:20:39
28:27 からのビデオで検索Lean Theorem Prover
Proof, Provers, and the Lean Theorem Prover - Summer Special!
視聴回数: 2756 回2021年8月12日
YouTubeData Science Cornwall
1:12:08
Kitty Yan, et al: Getting Started: Proving with the Lean Interactive The…
視聴回数: 869 回2021年11月26日
YouTubeParker Glynn-Adey
58:21
Lean Together 2021: Generative Language Modeling for Automated T…
視聴回数: 2545 回2021年1月5日
YouTubeleanprover community
22:50
Canonical for Automated Theorem Proving in Lean | Chase Norman
視聴回数: 80 回5 か月前
YouTubeIcelandic Centre of Excellence in Theoretical CS
1:18:08
Seminar: Introduction to the Lean 4 theorem prover and programming lan…
視聴回数: 9845 回2023年2月15日
YouTubeCertora
24:07
Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 20…
視聴回数: 687 回2 か月前
YouTubeleanprover community
1:03:10
Alex J Best: Aristotle, an AI theorem prover using Lean (29 January 2026)
視聴回数: 187 回2 か月前
YouTubeFormalisation of Mathematics Seminar @ Cam
3:54
Seed-Prover 1.5: Lean Theorem Proving
視聴回数: 94 回3 か月前
YouTubeAI Research Roundup
14:41
Using the Lean Theorem Prover on CoCalc with VS Code and a Compute …
視聴回数: 376 回2024年5月10日
YouTubeCoCalc by SageMath, Inc.
2:57
Aristotle: IMO‑Level Automated Theorem Prover
視聴回数: 282 回6 か月前
YouTubeAI Research Roundup
23:35
01:00 からのビデオで検索Theorem Statement
Infinitude of primes --- a Lean theorem prover demo
視聴回数: 3.8万 回2020年7月13日
YouTubeleanprover community
8:21
DeepSeek Prover-V2 7B: Formal Theorem Proving in Lean 4 - Install L…
視聴回数: 2132 回11 か月前
YouTubeFahd Mirza
38:41
Chi Jin (Princeton): Goedel-Prover: A Frontier Model for Open-Source Auto…
視聴回数: 598 回2025年2月19日
YouTubeAI Agent Reasoning
31:47
How Mathematicians can Get Started with Lean
視聴回数: 1.3万 回2025年2月27日
YouTubeAlex Kontorovich
1:16:06
What Is an Interactive Theorem Prover? | Kevin Buzzard
視聴回数: 1944 回2024年3月19日
YouTubePietro Monticone
0:53
About Lean programming Language
視聴回数: 310 回9 か月前
YouTubeVLR Training
1:18:27
How to Prove it with Lean
視聴回数: 2494 回2023年4月25日
YouTubeAlexandre Rademaker
1:14:48
10:07 からのビデオで検索Fermats Last Theorem
The Future of Mathematics?
視聴回数: 11.4万 回2019年10月1日
YouTubeMicrosoft Research
8:47
01:23 からのビデオで検索The Concept of Theorem Proving
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
視聴回数: 1.4万 回2024年6月26日
YouTubeDavid Renshaw
17:55
An introduction to Lean 4, a functional programming language
視聴回数: 1.3万 回2021年11月19日
YouTubeElixir, Erlang, the BEAM (and Lean)
59:25
13:55 からのビデオで検索The Four Color Theorem
Machine Assisted Proofs | Terence Tao
視聴回数: 1704 回2024年3月19日
YouTubePietro Monticone
1:59:02
Yury Kudryashov : Lean prover and its uses with AI for solving math proble…
視聴回数: 164 回6 か月前
YouTubealexander shen
18:18
Aristotle: IMO-level Automated Theorem Proving (Oct 2025)
視聴回数: 365 回6 か月前
YouTubeAI Paper Slop
4:44
Seed-Prover: A New LLM for Math Proofs
視聴回数: 133 回8 か月前
YouTubeAI Research Roundup
その他のビデオを表示する
静的サムネイルプレースホルダー