Doing a math assignment with the Lean theorem prover
Doing a math assignment with the Lean theorem prover
Apr 5, 2020
ahelwer.ca
Lean
21:30
Lean
Feb 15, 2023
Microsoft
Finding Loop Invariants Using a Theorem Prover
Finding Loop Invariants Using a Theorem Prover
Oct 31, 2009
Microsoft
DeepSeek’s New Math AI Model Can Help Prove Formal Math Theorems
DeepSeek’s New Math AI Model Can Help Prove Formal Math Theorems
360 views10 months ago
gadgets360.com
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anandkumar posted on the topic | LinkedIn
3:31
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anan…
18 views6 months ago
linkedin.com
내 코드를 검토한 인공 지능의 답변을 검토하기
38:59
내 코드를 검토한 인공 지능의 답변을 검토하기
8 views1 month ago
YouTubeBulhwi Cha (차불휘)
How Do Proof Assistants Support Theorem Proving?
3:25
How Do Proof Assistants Support Theorem Proving?
10 views2 months ago
YouTubeLearn To Troubleshoot
3:45
The Math Genius Who "Proved" the Impossible (And Why No One Beli…
1 views1 month ago
YouTubeCuriosity Atlas
42:10
Watching Mario Carneiro's 2021 Metamath Zero Tutorial
1 views1 month ago
YouTubeBulhwi Cha (차불휘)
47:32
Learning Nodes and Scenes in the Godot Engine
8 views1 month ago
YouTubeBulhwi Cha (차불휘)
2:15
Lean Dominates Proof Assistants: Usability Wins the War! #shorts
2 months ago
YouTubeType Theory Forall
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the L…
88 views3 weeks ago
YouTubeIBS Discrete Mathematics Group
44:34
고도 엔진(Godot Engine)이 지원하는 프로그래밍 언어
4 weeks ago
YouTubeBulhwi Cha (차불휘)
46:01
Writing and Using Definitions in Metamath One
6 views1 month ago
YouTubeBulhwi Cha (차불휘)
54:33
Learning Lean 4 via The Incredible Proof Machine
41 views2 months ago
YouTubeTea Leaves
4:28
MMFormalizer: Visual Physics to Lean Code
1 month ago
YouTubeAI Research Roundup
55:56
Creating Instances in Godot Engine
39 views1 month ago
YouTubeBulhwi Cha (차불휘)
42:47
Shortcomings of Metamath
1 month ago
YouTubeBulhwi Cha (차불휘)
0:41
An AI Agent Made up an Ungrammatical Korean Word
1 views1 month ago
YouTubeBulhwi Cha (차불휘)
1:06:51
GD스크립트(GDScript)로 작성한 첫 스크립트
4 weeks ago
YouTubeBulhwi Cha (차불휘)
1:06:32
Lean Stream | The Analysis Game 1 | December 18 2025
863 views2 months ago
YouTubeK-Theory
1:17:09
Exploring Various Features in Metamath One
6 days ago
YouTubeBulhwi Cha (차불휘)
3:36
Nanna - Buster
6.3M viewsDec 27, 2011
YouTubedreamfortress
Introductory Proof with Lean 4 - Natural Numbers
Sep 11, 2024
hatenablog.comkencoba
[London Learning Lean] Ostrowski's theorem, by Billy Miao
456 viewsMay 28, 2023
YouTubeXena Project
Formalizing the Future: Lean’s Impact on Mathematics, Program…
9 months ago
ox.ac.uk
1:56
Yung Lean - Motorola
6.6M viewsFeb 19, 2014
YouTubeYung Lean
5:24
Drs-Gangsta Lean Lyrics
2.7M viewsApr 9, 2010
YouTubeIAmChynaDoll
0:37
Luna's Nightmare Night Visit (MLP in real life)
2.6M viewsOct 31, 2013
YouTubeStormXF3
18:05
Proof: lim (sin x)/x | Limits | Differential Calculus | Khan Acade…
1.3M viewsJun 25, 2008
YouTubeKhan Academy
See more videos
Static thumbnail place holder