Profile Picture
  • All
  • Search
  • Images
  • Videos
  • Maps
  • News
  • More
    • Shopping
    • Flights
    • Travel
  • Notebook
Report an inappropriate content
Please select one of the options below.
  • Length
    AllShort (less than 5 minutes)Medium (5-20 minutes)Long (more than 20 minutes)
  • Date
    AllPast 24 hoursPast weekPast monthPast year
  • Resolution
    AllLower than 360p360p or higher480p or higher720p or higher1080p or higher
  • Source
    All
    Dailymotion
    Vimeo
    Metacafe
    Hulu
    VEVO
    Myspace
    MTV
    CBS
    Fox
    CNN
    MSN
  • Price
    AllFreePaid
  • Clear filters
  • SafeSearch:
  • Moderate
    StrictModerate (default)Off
Filter
Is This the End of Handwritten Math? Introducing Lean
34:35
YouTubeAnk Yog
Is This the End of Handwritten Math? Introducing Lean
A first guide to the Lean 4 Proof Assistant. To learn for free on Brilliant, go to https://brilliant.org/AnkYog . You’ll also get 20% off an annual premium subscription. You can try out Lean at Lean 4 Web: https://live.lean-lang.org/ (no installation required) The code for the video is given at https://github.com/AnkYog/LeanTutorial1 You can ...
47.1K views2 months ago
Proof Assistant Tutorial
The strongest proof that a mother can be a mother to any creature :😹💕
0:19
The strongest proof that a mother can be a mother to any creature :😹💕
YouTubeZENZING CLIPS
7.7M views3 weeks ago
When the Story Sells More Than the Truth 📖💭
1:00
When the Story Sells More Than the Truth 📖💭
YouTubemdscae
13.4M views1 month ago
Proof This Song Works with Any Movie Part 1187
0:49
Proof This Song Works with Any Movie Part 1187
TikTokmoviedeathblow
122.6K views2 weeks ago
Top videos
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
YouTubeAlex Kontorovich
8.1K views10 months ago
The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006
33:09
The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006
YouTubeAntithesis
3.5K views6 months ago
How to learn Lean 4 proof assistant?
0:18
How to learn Lean 4 proof assistant?
YouTubeThe Honest Torus
4.5K views1 month ago
Coq Proof Assistant
Coq Au Vin Blanc Recipe - Delicious Comfort Food for Grey Days!
Coq Au Vin Blanc Recipe - Delicious Comfort Food for Grey Days!
TikTokdonalskehan
355.8K viewsNov 7, 2022
Coq au Vin – The French Classic Made Easy | Rich Red Wine Chicken Stew
0:46
Coq au Vin – The French Classic Made Easy | Rich Red Wine Chicken Stew
YouTubeDishes with Del
3.6K views6 months ago
Coq au vin | Recipe | EN
0:58
Coq au vin | Recipe | EN
YouTubeTasteFrance Magazine
8.8K viewsDec 11, 2021
How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
8.1K views10 months ago
YouTubeAlex Kontorovich
The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006
33:09
The Best New Programming Language is a Proof Assistant by …
3.5K views6 months ago
YouTubeAntithesis
How to learn Lean 4 proof assistant?
0:18
How to learn Lean 4 proof assistant?
4.5K views1 month ago
YouTubeThe Honest Torus
Introduction to the Coq Proof Assistant - Andrew Appel
1:08:37
Introduction to the Coq Proof Assistant - Andrew Appel
15.8K viewsAug 30, 2016
YouTubeInstitute for Advanced Study
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Software Verification by Leonardo de Moura
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Softwar…
655 views11 months ago
YouTubeConference on Computer-Aided Verification
Interactive Formal Verification, Lecture 3: Proof
50:33
Interactive Formal Verification, Lecture 3: Proof
324 viewsFeb 18, 2023
YouTubeLawrence Paulson
Writing Proofs in Deduce (Part 1)
34:07
Writing Proofs in Deduce (Part 1)
41 views3 months ago
YouTubeJeremy Siek
6:52
Introducing the Deduce Proof Assistant
102 views3 months ago
YouTubeJeremy Siek
21:30
Lean
Feb 15, 2023
Microsoft
See more videos
Static thumbnail place holder
More like this
Feedback
  • Privacy
  • Terms