Monthly Community Meeting Jan 12, 2024

  Рет қаралды 1,040

leanprover community

leanprover community

7 ай бұрын

Пікірлер: 1
@tfae
@tfae 6 ай бұрын
Between omega and verso, this has been a very exciting update!!
Lean Together 2024: María Inés de Frutos-Fernández, Formalizing local fields in Lean
29:03
Lean Together 2024: María Inés de Frutos-Fernández, Formalizing local fields in Lean
leanprover community
Рет қаралды 232
Infinitude of primes --- a Lean theorem prover demo
23:35
Infinitude of primes --- a Lean theorem prover demo
leanprover community
Рет қаралды 26 М.
Comfortable 🤣 #comedy #funny
00:34
Comfortable 🤣 #comedy #funny
Micky Makeover
Рет қаралды 12 МЛН
UNO!
00:18
UNO!
БРУНО
Рет қаралды 3,5 МЛН
EVOLUTION OF ICE CREAM 😱 #shorts
00:11
EVOLUTION OF ICE CREAM 😱 #shorts
Savage Vlogs
Рет қаралды 12 МЛН
Eleftherios Petrounias helped by Arthur Zanetti = epic gala moment ❤️
00:46
Eleftherios Petrounias helped by Arthur Zanetti = epic gala moment ❤️
Olympics
Рет қаралды 37 МЛН
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
22:45
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
leanprover community
Рет қаралды 454
Data Analytics vs Data Science
6:30
Data Analytics vs Data Science
IBM Technology
Рет қаралды 428 М.
Why the markets meltdown isn't spooking the RBA into cutting rates | The Business | ABC News
10:05
Why the markets meltdown isn't spooking the RBA into cutting rates | The Business | ABC News
ABC News (Australia)
Рет қаралды 17 М.
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
33:01
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
leanprover community
Рет қаралды 990
Lean for the Curious Mathematician 2023 Basics
1:07:27
Lean for the Curious Mathematician 2023 Basics
leanprover community
Рет қаралды 1,3 М.
Financial experts advise on how investors should proceed following stock market wipeout
5:05
Financial experts advise on how investors should proceed following stock market wipeout
Fox Business
Рет қаралды 23 М.
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
28:39
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
leanprover community
Рет қаралды 286
Algorithms Explained for Beginners - How I Wish I Was Taught
17:38
Algorithms Explained for Beginners - How I Wish I Was Taught
Internet Made Coder
Рет қаралды 335 М.
Office Automation Computers: Integrated Data Processing 1956 IBM Burroughs NCR ELECOM Bell Teletype
28:30
Office Automation Computers: Integrated Data Processing 1956 IBM Burroughs NCR ELECOM Bell Teletype
Computer History Archives Project ("CHAP")
Рет қаралды 4,7 М.
Linus Torvalds: Speaks on XZ Hack in Linux and Trust in Open Source Dev
10:26
Linus Torvalds: Speaks on XZ Hack in Linux and Trust in Open Source Dev
SavvyNik
Рет қаралды 24 М.
Мой новый мега монитор!🤯
1:00
Мой новый мега монитор!🤯
Корнеич
Рет қаралды 3,6 МЛН
Как удвоить напряжение? #электроника #умножитель
1:00
Как удвоить напряжение? #электроника #умножитель
Hi Dev! – Электроника
Рет қаралды 1,1 МЛН
Подозрительно выгодный ИГРОВОЙ ПК с OZON за 45 тысяч
22:48
Подозрительно выгодный ИГРОВОЙ ПК с OZON за 45 тысяч
Ремонтяш
Рет қаралды 404 М.
КРАХ WINDOWS 19 ИЮЛЯ 2024 | ОБЪЯСНЯЕМ
10:04
КРАХ WINDOWS 19 ИЮЛЯ 2024 | ОБЪЯСНЯЕМ
Droider
Рет қаралды 73 М.
Klavye İle Trafik Işığını Yönetmek #shorts
0:18
Klavye İle Trafik Işığını Yönetmek #shorts
Osman Kabadayı
Рет қаралды 9 МЛН
КУПИЛ САМЫЙ ПОПУЛЯРНЫЙ ПК ARDOR GAMING в DNS для CS2
25:51
КУПИЛ САМЫЙ ПОПУЛЯРНЫЙ ПК ARDOR GAMING в DNS для CS2
JOSKIY
Рет қаралды 150 М.
Попробую поставить мать на монитор... Только вот с питанием и Тконом надо разобраться...
0:32
Попробую поставить мать на монитор... Только вот с питанием и Тконом надо разобраться...
Brother-live_mob
Рет қаралды 1,3 МЛН