Basic Natural numbers (basic nats) in Lean 4

Поділитися
Вставка
  • Опубліковано 18 січ 2025

КОМЕНТАРІ • 3

  • @oneofvalts
    @oneofvalts 10 місяців тому +1

    didn't know deriving repr thing, nice

  • @brandomiranda6703
    @brandomiranda6703  10 місяців тому

    Types vs Sets: twitter.com/BrandoHablando/status/1763717742178578444 someone perhaps can explain in simple terms?

  • @brandomiranda6703
    @brandomiranda6703  10 місяців тому

    twitter.com/BrandoHablando/status/1763698776378843495?t=0ziKQ3vigctqDw0ARxmWbw&s=19

Наступне
Автоматичне відтворення
Learning To Code In Lean 4 With A Friend: Starting Out50:59Learning To Code In Lean 4 With A Friend: Starting Out
Learning To Code In Lean 4 With A Friend: Starting OutRichard Southwell
Переглядів 6 тис.
Video 0 - Setting Up Lean from Scratch26:05Video 0 - Setting Up Lean from Scratch
Video 0 - Setting Up Lean from ScratchBrando Miranda
Переглядів 82
3 PYTHON AUTOMATION PROJECTS FOR BEGINNERS17:003 PYTHON AUTOMATION PROJECTS FOR BEGINNERS
3 PYTHON AUTOMATION PROJECTS FOR BEGINNERSInternet Made Coder
Переглядів 1,7 млн
🔥"СВОшник" РОЗНОСИТЬ шоу путіністів! Ведучий ШОКОВАНИЙ від цих СЛІВ #shorts01:12🔥"СВОшник" РОЗНОСИТЬ шоу путіністів! Ведучий ШОКОВАНИЙ від цих СЛІВ  #shorts
🔥"СВОшник" РОЗНОСИТЬ шоу путіністів! Ведучий ШОКОВАНИЙ від цих СЛІВ #shortsZAXID.NET
Переглядів 656 тис.
ПРОВЕРКА НА ВШИВОСТЬ (смешное видео, юмор, поржать, приколы)00:59ПРОВЕРКА НА ВШИВОСТЬ (смешное видео, юмор, поржать, приколы)
ПРОВЕРКА НА ВШИВОСТЬ (смешное видео, юмор, поржать, приколы)Натурал Альбертович
Переглядів 4,2 млн
МІША ЛЕБІГА і АНДРІЙ ЛУЗАН в СРАЧІ #321:09:35МІША ЛЕБІГА і АНДРІЙ ЛУЗАН в СРАЧІ #32
МІША ЛЕБІГА і АНДРІЙ ЛУЗАН в СРАЧІ #32ЛЕВИ НА ДЖИПІ
Переглядів 1 млн
Морпіх із Каліфорнії доєднався до лав ЗСУ #shorts00:21Морпіх із Каліфорнії доєднався до лав ЗСУ #shorts
Морпіх із Каліфорнії доєднався до лав ЗСУ #shortsСуспільне Львів
Переглядів 241 тис.
Motivation and State of the Art for the Lean Theorem Prover | Kevin Buzzard6:03Motivation and State of the Art for the Lean Theorem Prover | Kevin Buzzard
Motivation and State of the Art for the Lean Theorem Prover | Kevin BuzzardSEMF
Переглядів 2,6 тис.
Luis Andrea - Bachata Sensual - Silicon Valley - Baychata Sensual3:59Luis Andrea - Bachata Sensual - Silicon Valley - Baychata Sensual
Luis Andrea - Bachata Sensual - Silicon Valley - Baychata SensualBrando Miranda
Переглядів 51 тис.
Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers18:34Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers
Natural Number Game in Lean 4 - Episode 0 Defining Natural NumbersAlex Codes
Переглядів 2,5 тис.
This AI Robot Is Doing the Impossible - Unitree x ElizaWakesUp9:30This AI Robot Is Doing the Impossible - Unitree x ElizaWakesUp
This AI Robot Is Doing the Impossible - Unitree x ElizaWakesUpAI Revolution
Переглядів 62 тис.
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #621:45:56Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62Lex Fridman
Переглядів 415 тис.
Ten minute Lean tutorial : make proofs of easy lemmas7:16Ten minute Lean tutorial : make proofs of easy lemmas
Ten minute Lean tutorial : make proofs of easy lemmasXena Project
Переглядів 9 тис.
How difficult is AI alignment? | Anthropic Research Salon28:06How difficult is AI alignment? | Anthropic Research Salon
How difficult is AI alignment? | Anthropic Research SalonAnthropic
Переглядів 14 тис.
Fundamentals of Quantum Physics. Basics of Quantum Mechanics 🌚 Lecture for Sleep & Study3:32:45Fundamentals of Quantum Physics. Basics of Quantum Mechanics 🌚 Lecture for Sleep & Study
Fundamentals of Quantum Physics. Basics of Quantum Mechanics 🌚 Lecture for Sleep & StudyLECTURES FOR SLEEP & STUDY
Переглядів 3,5 млн
Что будет если украсть в магазине шоколадку 🍫00:39Что будет если украсть в магазине шоколадку 🍫
Что будет если украсть в магазине шоколадку 🍫Miracle
Переглядів 3,2 млн
The evil clown plays a prank on the angel00:39The evil clown plays a prank on the angel
The evil clown plays a prank on the angel超人夫妇
Переглядів 52 млн
😯 Подарила сыну БМВ, но не ожидала такой реакции на машину! | Новостничок00:20😯 Подарила сыну БМВ, но не ожидала такой реакции на машину! | Новостничок
😯 Подарила сыну БМВ, но не ожидала такой реакции на машину! | НовостничокНОВОСТНИЧОК
Переглядів 6 млн
Уличный боец с ДУХОМ воина01:00Уличный боец с ДУХОМ воина
Уличный боец с ДУХОМ воинаБЕЗУМНЫЙ СПОРТ
Переглядів 2,2 млн
The Security Guard Fell Into The Trap Of The Beauty #still #parkour #funny#skate00:24The Security Guard Fell Into The Trap Of The Beauty #still #parkour #funny#skate
The Security Guard Fell Into The Trap Of The Beauty #still #parkour #funny#skateFun Parkour Mr Wang
Переглядів 17 млн
288000300:282880003
2880003TOPSY
Переглядів 1 млн
The Witcher IV - Cinematic Reveal Trailer | The Game Awards 202406:03The Witcher IV — Cinematic Reveal Trailer | The Game Awards 2024
The Witcher IV - Cinematic Reveal Trailer | The Game Awards 2024The Witcher
Переглядів 3,8 млн
人是不能做到吗？#火影忍者 #家人 #佐助00:20人是不能做到吗？#火影忍者 #家人 #佐助
人是不能做到吗？#火影忍者 #家人 #佐助火影忍者一家
Переглядів 20 млн