Let's code math | Lean4 | Theorem prover

Поділитися
Вставка
  • Опубліковано 23 жов 2024

КОМЕНТАРІ • 38

Наступне
Автоматичне відтворення
Infinitude of primes --- a Lean theorem prover demo23:35Infinitude of primes --- a Lean theorem prover demo
Infinitude of primes --- a Lean theorem prover demoleanprover community
Переглядів 28 тис.
There are POP-UPS in this 450 year old math textbook!1:30There are POP-UPS in this 450 year old math textbook!
There are POP-UPS in this 450 year old math textbook!Hamish Todd
Переглядів 2,4 тис.
This is the Epsilon Delta Definition of Continuity | Real Analysis12:14This is the Epsilon Delta Definition of Continuity | Real Analysis
This is the Epsilon Delta Definition of Continuity | Real AnalysisWrath of Math
Переглядів 14 тис.
Угадай Настоящего Экстрасенса! Взрослые Угадывают (Сатир, Хазяева, DK, Sqwoz Bab, Кокошка, Данон)2:02:21Угадай Настоящего Экстрасенса! Взрослые Угадывают (Сатир, Хазяева, DK, Sqwoz Bab, Кокошка, Данон)
Угадай Настоящего Экстрасенса! Взрослые Угадывают (Сатир, Хазяева, DK, Sqwoz Bab, Кокошка, Данон)ExileShow
Переглядів 7 млн
«Був у вкрай важкому стані. Вирішив застрелитись»: розвідник провів 12 діб в окопі з пораненням01:00«Був у вкрай важкому стані. Вирішив застрелитись»: розвідник провів 12 діб в окопі з пораненням
«Був у вкрай важкому стані. Вирішив застрелитись»: розвідник провів 12 діб в окопі з пораненнямРадіо Свобода Україна
Переглядів 1,3 млн
10 FREE DEAD BOXES?! #deadgame02:2610 FREE DEAD BOXES?! #deadgame
10 FREE DEAD BOXES?! #deadgameBrawl Stars
Переглядів 13 млн
У вас тоже гаубица в сарае завалялась?00:35У вас тоже гаубица в сарае завалялась?
У вас тоже гаубица в сарае завалялась?ПРЕМИЯ ДАРВИНА
Переглядів 8 млн
What P vs NP is actually about17:58What P vs NP is actually about
What P vs NP is actually aboutPolylog
Переглядів 115 тис.
How Math Becomes Difficult39:19How Math Becomes Difficult
How Math Becomes DifficultMAKiT
Переглядів 94 тис.
Automated Mathematical Proofs - Computerphile18:02Automated Mathematical Proofs - Computerphile
Automated Mathematical Proofs - ComputerphileComputerphile
Переглядів 93 тис.
The Linear Algebra behind sound | Fourier Analysis #SoMePi19:41The Linear Algebra behind sound | Fourier Analysis #SoMePi
The Linear Algebra behind sound | Fourier Analysis #SoMePiSplience
Переглядів 7 тис.
Why Runge-Kutta is SO Much Better Than Euler's Method #somepi13:32Why Runge-Kutta is SO Much Better Than Euler's Method #somepi
Why Runge-Kutta is SO Much Better Than Euler's Method #somepiPhanimations
Переглядів 134 тис.
The Man Who Solved the World’s Most Famous Math Problem11:14The Man Who Solved the World’s Most Famous Math Problem
The Man Who Solved the World’s Most Famous Math ProblemNewsthink
Переглядів 1 млн
What does the second derivative actually do in math and physics?15:19What does the second derivative actually do in math and physics?
What does the second derivative actually do in math and physics?Quantum Sense
Переглядів 583 тис.
Programming with Math | The Lambda Calculus21:48Programming with Math | The Lambda Calculus
Programming with Math | The Lambda CalculusEyesomorphic
Переглядів 215 тис.
How I animate 3Blue1Brown | A Manim demo with Ben Sparks53:41How I animate 3Blue1Brown | A Manim demo with Ben Sparks
How I animate 3Blue1Brown | A Manim demo with Ben Sparks3Blue1Brown
Переглядів 750 тис.
This referee is too unauthentic, isn't it😂# Dad takes baby# Family has adorable baby# Human cub# H00:16This referee is too unauthentic, isn't it😂# Dad takes baby# Family has adorable baby# Human cub# H
This referee is too unauthentic, isn't it😂# Dad takes baby# Family has adorable baby# Human cub# H开心baby
Переглядів 20 млн
«Був у вкрай важкому стані. Вирішив застрелитись»: розвідник провів 12 діб в окопі з пораненням01:00«Був у вкрай важкому стані. Вирішив застрелитись»: розвідник провів 12 діб в окопі з пораненням
«Був у вкрай важкому стані. Вирішив застрелитись»: розвідник провів 12 діб в окопі з пораненнямРадіо Свобода Україна
Переглядів 1,3 млн
Indoor plant care hacks for plant lovers 🌿 #shorts #planting #garden #diy #indoor00:34Indoor plant care hacks for plant lovers 🌿 #shorts #planting #garden #diy #indoor
Indoor plant care hacks for plant lovers 🌿 #shorts #planting #garden #diy #indoorGreen Thumb
Переглядів 11 млн
Когда НАМОЧИЛ МАНТУ (смешное видео, юмор, поржать, приколы)00:59Когда НАМОЧИЛ МАНТУ (смешное видео, юмор, поржать, приколы)
Когда НАМОЧИЛ МАНТУ (смешное видео, юмор, поржать, приколы)Натурал Альбертович
Переглядів 3,7 млн
ПРЕМЬЕРА ШИКАРНОГО ДЕТЕКТИВА 2024! ТРУП В ШКАФУ НА АУКЦИОНЕ! УБИЙСТВО В НАНСИ. Лучшие Фильмы1:34:54ПРЕМЬЕРА ШИКАРНОГО ДЕТЕКТИВА 2024! ТРУП В ШКАФУ НА АУКЦИОНЕ! УБИЙСТВО В НАНСИ. Лучшие Фильмы
ПРЕМЬЕРА ШИКАРНОГО ДЕТЕКТИВА 2024! ТРУП В ШКАФУ НА АУКЦИОНЕ! УБИЙСТВО В НАНСИ. Лучшие ФильмыFilmegator
Переглядів 760 тис.
Їжа Волині. Великий гід.1:18:49Їжа Волині. Великий гід.
Їжа Волині. Великий гід.Мiша Кацурiн
Переглядів 508 тис.
My favourite features after a week of testing! #dodgechallenger #rccars #primalchallenger00:19My favourite features after a week of testing! #dodgechallenger #rccars #primalchallenger
My favourite features after a week of testing! #dodgechallenger #rccars #primalchallengerRCDriftTok
Переглядів 11 млн
REAL 3D brush can draw grass Life Hack #shorts #lifehacks00:42REAL 3D brush can draw grass Life Hack #shorts #lifehacks
REAL 3D brush can draw grass Life Hack #shorts #lifehacksMrMaximus
Переглядів 12 млн