Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL

  Рет қаралды 990

leanprover community

leanprover community

6 ай бұрын

Пікірлер: 1
@letscodeitup
@letscodeitup 6 ай бұрын
Excellent work!
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
29:52
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
leanprover community
Рет қаралды 696
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
22:45
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
leanprover community
Рет қаралды 454
لااا! هذه البرتقالة مزعجة جدًا #قصير
00:15
لااا! هذه البرتقالة مزعجة جدًا #قصير
One More Arabic
Рет қаралды 28 МЛН
ЧУТЬ НЕ УТОНУЛ #shorts
00:27
ЧУТЬ НЕ УТОНУЛ #shorts
Паша Осадчий
Рет қаралды 10 МЛН
A little girl was shy at her first ballet lesson #shorts
00:35
A little girl was shy at her first ballet lesson #shorts
Fabiosa Animated
Рет қаралды 17 МЛН
Why Is He Unhappy…?
00:26
Why Is He Unhappy…?
Alan Chikin Chow
Рет қаралды 74 МЛН
Turns out REST APIs weren't the answer (and that's OK!)
10:38
Turns out REST APIs weren't the answer (and that's OK!)
Dylan Beattie
Рет қаралды 130 М.
Has Generative AI Already Peaked? - Computerphile
12:48
Has Generative AI Already Peaked? - Computerphile
Computerphile
Рет қаралды 927 М.
Do NOT Learn Kubernetes Without Knowing These Concepts...
13:01
Do NOT Learn Kubernetes Without Knowing These Concepts...
Travis Media
Рет қаралды 262 М.
The Clever Way to Count Tanks - Numberphile
16:45
The Clever Way to Count Tanks - Numberphile
Numberphile
Рет қаралды 790 М.
Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover
30:34
Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover
leanprover community
Рет қаралды 312
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
leanprover community
Рет қаралды 477
Java, How Fast Can You Parse 1 Billion Rows of Weather Data? • Roy van Rijn • GOTO 2024
42:16
Java, How Fast Can You Parse 1 Billion Rows of Weather Data? • Roy van Rijn • GOTO 2024
GOTO Conferences
Рет қаралды 73 М.
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types
29:59
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types
leanprover community
Рет қаралды 436
Beyond the Hype: A Realistic Look at Large Language Models • Jodie Burchell • GOTO 2024
42:52
Beyond the Hype: A Realistic Look at Large Language Models • Jodie Burchell • GOTO 2024
GOTO Conferences
Рет қаралды 59 М.
Rust and RAII Memory Management - Computerphile
24:22
Rust and RAII Memory Management - Computerphile
Computerphile
Рет қаралды 222 М.
Ура!наконец-то куплю новый Samsung!#хочуврек#котики#футажи#shorts Автор звука:@GORA9338
0:10
Ура!наконец-то куплю новый Samsung!#хочуврек#котики#футажи#shorts Автор звука:@GORA9338
lev89k
Рет қаралды 2,9 МЛН
😍 Таких шикарных и гибких телевизоров, тем более за такую копеечную цену вы больше нигде не найдете.
0:12
😍 Таких шикарных и гибких телевизоров, тем более за такую копеечную цену вы больше нигде не найдете.
Любимый WB
Рет қаралды 3,3 МЛН
Новые iPhone 16 и 16 Pro Max
0:42
Новые iPhone 16 и 16 Pro Max
Romancev768
Рет қаралды 2,4 МЛН
Запись звонков на iPhone, Apple Intelligence и новая Siri! Обзор iOS 18.1 (beta 1)
12:20
Запись звонков на iPhone, Apple Intelligence и новая Siri! Обзор iOS 18.1 (beta 1)
ProTech
Рет қаралды 88 М.
Nokia 3310 top
0:20
Nokia 3310 top
YT 𝒯𝒾𝓂𝓉𝒾𝓀
Рет қаралды 4,5 МЛН
Vision Pro наконец-то доработали! Но не Apple!
0:40
Vision Pro наконец-то доработали! Но не Apple!
ÉЖИ АКСЁНОВ
Рет қаралды 736 М.
Раскроет ли i5 RTX 4070? #пк #игры #гейминг #сборкапк #игровойпк #pc #games #gamingpc #ncidia
1:00
Раскроет ли i5 RTX 4070? #пк #игры #гейминг #сборкапк #игровойпк #pc #games #gamingpc #ncidia
MaxxPC
Рет қаралды 254 М.