Infinitude of primes --- a Lean theorem prover demo

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

КОМЕНТАРІ • 66

Наступне
Автоматичне відтворення
LftCM2020: Natural number game - Kevin Buzzard25:11LftCM2020: Natural number game - Kevin Buzzard
LftCM2020: Natural number game - Kevin Buzzardleanprover community
Переглядів 3,8 тис.
Automated Mathematical Proofs - Computerphile18:02Automated Mathematical Proofs - Computerphile
Automated Mathematical Proofs - ComputerphileComputerphile
Переглядів 93 тис.
Being Competent With Coding Is More Fun11:13Being Competent With Coding Is More Fun
Being Competent With Coding Is More FunTheVimeagen
Переглядів 119 тис.
Creative Justice at the Checkout: Bananas and Eggs Showdown #shorts00:18Creative Justice at the Checkout: Bananas and Eggs Showdown #shorts
Creative Justice at the Checkout: Bananas and Eggs Showdown #shortsFabiosa Best Lifehacks
Переглядів 15 млн
Why no RONALDO?! 🤔⚽️00:28Why no RONALDO?! 🤔⚽️
Why no RONALDO?! 🤔⚽️Celine Dept
Переглядів 90 млн
СНОГШИБАТЕЛЬНАЯ ПРЕМЬЕРА! РОМАН С ЖЕНАТЫМ МУЖЧИНОЙ ОБЕРНУЛСЯ ЕЩЁ ОДНИМ ПРЕДАТЕЛЬСТВОМ | Мелодрама3:13:31СНОГШИБАТЕЛЬНАЯ ПРЕМЬЕРА! РОМАН С ЖЕНАТЫМ МУЖЧИНОЙ ОБЕРНУЛСЯ ЕЩЁ ОДНИМ ПРЕДАТЕЛЬСТВОМ | Мелодрама
СНОГШИБАТЕЛЬНАЯ ПРЕМЬЕРА! РОМАН С ЖЕНАТЫМ МУЖЧИНОЙ ОБЕРНУЛСЯ ЕЩЁ ОДНИМ ПРЕДАТЕЛЬСТВОМ | МелодрамаКино о любви
Переглядів 1,3 млн
Я СДЕЛАЛ ГИГАНТСКИЙ БУРРИТО ВЕСОМ 125 КИЛОГРАММ43:25Я СДЕЛАЛ ГИГАНТСКИЙ БУРРИТО ВЕСОМ 125 КИЛОГРАММ
Я СДЕЛАЛ ГИГАНТСКИЙ БУРРИТО ВЕСОМ 125 КИЛОГРАММvanzai
Переглядів 2,3 млн
The Future of Mathematics?1:14:48The Future of Mathematics?
The Future of Mathematics?Microsoft Research
Переглядів 108 тис.
Let's code math | Lean4 | Theorem prover20:50Let's code math | Lean4 | Theorem prover
Let's code math | Lean4 | Theorem proverSplience
Переглядів 12 тис.
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender8:47Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
Tactics & Keyframes: Visualizing Lean 4 Proofs in BlenderDavid Renshaw
Переглядів 8 тис.
Dear Game Developers, Stop Messing This Up!22:19Dear Game Developers, Stop Messing This Up!
Dear Game Developers, Stop Messing This Up!Jonas Tyroller
Переглядів 732 тис.
Eliminating Run-Time Errors with Agda - Computerphile18:37Eliminating Run-Time Errors with Agda - Computerphile
Eliminating Run-Time Errors with Agda - ComputerphileComputerphile
Переглядів 65 тис.
When Computers Write Proofs, What's the Point of Mathematicians?6:34When Computers Write Proofs, What's the Point of Mathematicians?
When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine
Переглядів 410 тис.
New divisibility rule! (30,000 of them)26:51New divisibility rule! (30,000 of them)
New divisibility rule! (30,000 of them)Stand-up Maths
Переглядів 371 тис.
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference44:48How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference
How (and why) to Build an Automated Theorem Prover: De-mystifying Logical InferenceOntology Talk with Adam Pease
Переглядів 8 тис.
I never understood why you can't go faster than light - until now!16:40I never understood why you can't go faster than light - until now!
I never understood why you can't go faster than light - until now!FloatHeadPhysics
Переглядів 4 млн
Twin Telepathy Challenge!00:23Twin Telepathy Challenge!
Twin Telepathy Challenge!Stokes Twins
Переглядів 123 млн
Mix the spurious with the genuine #joker #cosplay#Harriet Quinn00:33Mix the spurious with the genuine #joker #cosplay#Harriet Quinn
Mix the spurious with the genuine #joker #cosplay#Harriet Quinn佐助与鸣人
Переглядів 40 млн
Мама у нас строгая00:20Мама у нас строгая
Мама у нас строгаяVAVAN
Переглядів 11 млн
💔«Закінчується відчуття радості та щастя» #конкурентtv #новини #новинисьогодні00:20💔«Закінчується відчуття радості та щастя» #конкурентtv #новини #новинисьогодні
💔«Закінчується відчуття радості та щастя» #конкурентtv #новини #новинисьогодніТелеканал Конкурент TV - новини Луцька та Волині
Переглядів 1,2 млн
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts00:22Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shorts
Cool Items!🥰 New Gadgets, Smart Appliances, Kitchen Tools Utensils, Home Cleaning, Beauty #shortsCool Items Official
Переглядів 46 млн
«Машина з такою швидкістю летіла, і такий гул, я думала, що це ракета летить» #shortsvideo #дтп00:33«Машина з такою швидкістю летіла, і такий гул, я думала, що це ракета летить» #shortsvideo #дтп
«Машина з такою швидкістю летіла, і такий гул, я думала, що це ракета летить» #shortsvideo #дтпСуспільне Хмельницький
Переглядів 481 тис.
ГОНКА на ВЕСЬ АВТОПАРК! ВЕНГАЛБИ vs ТАМАЕВ1:08:09ГОНКА на ВЕСЬ АВТОПАРК! ВЕНГАЛБИ vs ТАМАЕВ
ГОНКА на ВЕСЬ АВТОПАРК! ВЕНГАЛБИ vs ТАМАЕВАсхаб Тамаев
Переглядів 3,7 млн
😱 БЕЗУМЦЫ! РФ впервые АТАКОВАЛА Украину МЕЖКОНТИНЕНТАЛЬНОЙ баллистической ракетой #shorts00:28😱 БЕЗУМЦЫ! РФ впервые АТАКОВАЛА Украину МЕЖКОНТИНЕНТАЛЬНОЙ баллистической ракетой #shorts
😱 БЕЗУМЦЫ! РФ впервые АТАКОВАЛА Украину МЕЖКОНТИНЕНТАЛЬНОЙ баллистической ракетой #shortsFREEДOM. LIVE
Переглядів 4,6 млн