Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
64 views8 months ago
YouTubeDipartimento di Matematica UNIBO
Free lean 4 tool that understands how natural language proofs interact with Mathlib!
0:32
Free lean 4 tool that understands how natural language proofs inter…
3 months ago
YouTubeThe Honest Torus
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
1.4K viewsJan 14, 2025
YouTubeleanprover community
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Bu...
55:36
#60 Exploring 'Mathlib' and the digitisation of mathematics: an int…
493 views10 months ago
YouTubeIsaac Newton Institute for Mathematical Sciences
[CPP'26] Higher order differential calculus in Mathlib
26:11
[CPP'26] Higher order differential calculus in Mathlib
50 views2 weeks ago
YouTubeACM SIGPLAN
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1:00
“AI + Math MIT’s New Frontier in Theorem Proving” 🔢🤖✨
1.1K views3 months ago
YouTubeZeno Orbit
Writing Math Proofs using Lean4 in Visual Studio Code
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.6K viewsOct 12, 2022
YouTubeChris
19:42
Python也能作图？最新的Matploblib库教学，看完你就知道是赚到了！
7.9K viewsMay 15, 2022
bilibiliAI大模型-扶摇
公式识别神器之Mathpix for matlab演示
7.8K viewsFeb 15, 2021
bilibili巴山学长
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5.3K viewsJul 16, 2023
YouTubeleanprover community
58:13
The AI Impact on Math | with Pr. Nourdin author of Math Research …
574 views3 months ago
YouTubeThe Causal Mindset
1:31:41
Matplotlib Crash Course
426.3K viewsMay 7, 2020
YouTubefreeCodeCamp.org
0:09
Lean theorem prover mathlib
2 months ago
YouTubeShort Hacker News
MATLAB Free Online Courses with Certificate | Image Processing, Wir…
670 views10 months ago
YouTubeEr Karan Arora
6:30
Video: Integrating Mathematical Proof and Software Verification: A…
2 weeks ago
YouTube論文紹介チャネル
45:27
MATLAB教学视频：数学建模与数值计算类（合集）
4.4K viewsMay 12, 2021
bilibiliHeyMATLAB
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
212 viewsNov 22, 2024
YouTubeVic Help
1:02:41
Matplotlib Full Python Course - Data Science Fundamentals
282.6K viewsJul 1, 2023
YouTubeNeuralNine
1:01:10
Jireh Loreaux: Working with Mathlib
328 viewsApr 22, 2024
YouTubeCentre International de Rencontres Mathématiq…
1:02:08
Mathlib Community Meeting December 12, 2025
1 month ago
YouTubeLean FRO
4:24
This AI Just Cracked Formal Mathematics: AlphaProof Explained
48 views2 months ago
YouTubeScienceSizzle • 19k Views
11:15
经典大学数学MATLAB实验建模(大学数学实验&MATLAB数学实验&MA…
1.6K viewsDec 5, 2023
bilibili会了么
1:45
最好用的论文公式识别与处理教程（mathpix,axmath,mathtype）
9.1K viewsAug 19, 2019
bilibili路过慢时光
46:31
1.45分钟快速学会matlab编程计算《matlab科学计算》
17.4K viewsApr 26, 2020
bilibili李小平老师
9:40
INSTALLATION OF MATPLOTLIB LIBRARY || HOW TO INSTALL MA…
44.4K viewsJun 25, 2021
YouTubeSundeep Saradhi Kanthety
3:54
HOW TO USE Matplotlib in 4 MINUTES (2020 Python Tutorial)
167.1K viewsMar 5, 2020
YouTubeKite
3:31
LeanDojo: Major Update for Math Reasoning with LLM | Anima Anan…
18 views6 months ago
linkedin.com
9:27
Matplotlib Tutorial 1 - Introduction and Line
700.8K viewsJul 12, 2015
YouTubesentdex
12:00
吹爆！基于MATLAB的高等数学问题求解全套视频教程，微分方程、代数 …
1.5K viewsAug 18, 2023
bilibiliCV算法工程师
5:03
快速把PDF论文或图片或网页中的公式变成mathtype公式
15.4K viewsJul 28, 2020
bilibili穿梭迷雾
See more videos
Static thumbnail place holder