The Lean 3 mathematical library (mathlib)
24:37
The Lean 3 mathematical library (mathlib)
735 viewsJul 27, 2018
YouTubeMario Carneiro
#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…
8 months ago
YouTubeIsaac Newton Institute for Mathematical Sciences
[CPP'23] A formalization of Doob's martingale convergence theorems in mathlib
21:44
[CPP'23] A formalization of Doob's martingale convergence theorem…
179 viewsMar 11, 2023
YouTubeACM SIGPLAN
Lean theorem prover mathlib
0:09
Lean theorem prover mathlib
2 weeks ago
YouTubeShort Hacker News
Lean Together 2025: Michael Rothgang, Scaling Mathlib.
30:44
Lean Together 2025: Michael Rothgang, Scaling Mathlib.
366 views11 months ago
YouTubeleanprover community
Teaching Calculus with MATLAB
2:50
Teaching Calculus with MATLAB
Apr 6, 2018
mathworks.com
Andrew Yang - Mathlib 里的代数几何
43:53
Andrew Yang - Mathlib 里的代数几何
706 views7 months ago
bilibili筑桥者Hagi
1:39
Introduction to Linear Algebra with MATLAB Online Course Overview
Mar 13, 2022
mathworks.com
40:19
Lean 4 overview for Mathlib users - Patrick Massot
5K viewsJul 16, 2023
YouTubeleanprover community
1:23
Introduction to MATLAB zyBook Overview
Jan 28, 2019
mathworks.com
0:32
Free lean 4 tool that understands how natural language proofs inter…
1 month ago
YouTubeThe Honest Torus
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mat…
1.1K views11 months ago
YouTubeleanprover community
3:54
HOW TO USE Matplotlib in 4 MINUTES (2020 Python Tutorial)
162.4K viewsMar 5, 2020
YouTubeKite
31:47
How Mathematicians can Get Started with Lean
8.1K views10 months ago
YouTubeAlex Kontorovich
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
4.1K viewsOct 12, 2022
YouTubeChris Lovett
1:53
Teaching with MATLAB Overview
Dec 10, 2019
mathworks.com
5:43
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
212 viewsNov 22, 2024
YouTubeVic Help
2:25
Algebra - MathHelp.com - 1000+ Online Math Lessons
26.1K viewsNov 5, 2007
YouTubeMathHelp.com
1:02:38
Mathlib Community Meeting August 8, 2025
148 views4 months ago
YouTubeLean FRO
50:05
Mathematics and Matrices in MATLAB
Nov 9, 2020
mathworks.com
31:20
Introduction to MATLAB
Jul 28, 2020
mathworks.com
3:07
Learn how to share and collaborate with MATLAB Online and MATLA…
7.6K viewsMay 28, 2020
FacebookMATLAB
9:40
INSTALLATION OF MATPLOTLIB LIBRARY || HOW TO INSTALL MA…
44.4K viewsJun 25, 2021
YouTubeSundeep Saradhi Kanthety
1:37
MATLAB Overview
Sep 23, 2020
mathworks.com
1:30
MATLAB Student Overview
Jan 31, 2017
mathworks.com
9:27
Matplotlib Tutorial 1 - Introduction and Line
699.7K viewsJul 12, 2015
YouTubesentdex
10:00
Getting Started with MATLAB
May 6, 2019
mathworks.com
1:33
Introduction to Matplotlib in Python
87.4K views2 months ago
intellipaat.com
1:01:15
Jeremy Avigad: "Formal mathematics, dependent type theo…
3.2K viewsNov 4, 2021
YouTubeTopos Institute
1:31:41
Matplotlib Crash Course
424.7K viewsMay 7, 2020
YouTubefreeCodeCamp.org
See more videos
Static thumbnail place holder