Metaprograms and Proofs: Macros in Lean 4 (twelfth RacketCon)

  Рет қаралды 2,774

Racket

Racket

Күн бұрын

Пікірлер: 1
Shallow and Optional Types (twelfth RacketCon)
29:26
Shallow and Optional Types (twelfth RacketCon)
Racket
Рет қаралды 718
Learning To Code In Lean 4 With A Friend: Starting Out
50:59
Learning To Code In Lean 4 With A Friend: Starting Out
Richard Southwell
Рет қаралды 4,2 М.
What will he say ? 😱 #smarthome #cleaning #homecleaning #gadgets
01:00
What will he say ? 😱 #smarthome #cleaning #homecleaning #gadgets
EasyHomePlus
Рет қаралды 10 МЛН
唐老六就这么喜欢小乞丐吗？把果果的衣服都给他了！#斗罗大陆 #唐舞桐与唐老六 #路飞 #果果 #唐老六
00:59
唐老六就这么喜欢小乞丐吗？把果果的衣服都给他了！#斗罗大陆 #唐舞桐与唐老六 #路飞 #果果 #唐老六
唐舞桐与唐老六
Рет қаралды 47 МЛН
Xe ô tô đồ chơi nhà giàu và nhà nghèo || Poor Car & Rich Car #shorts
00:58
Xe ô tô đồ chơi nhà giàu và nhà nghèo || Poor Car & Rich Car #shorts
Bon Bon Media
Рет қаралды 25 МЛН
The Joker kisses Harley Quinn underwater！#Harley Quinn #joker
00:49
The Joker kisses Harley Quinn underwater！#Harley Quinn #joker
Harley Quinn with the Joker
Рет қаралды 43 МЛН
When Computers Write Proofs, What's the Point of Mathematicians?
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
Quanta Magazine
Рет қаралды 394 М.
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
Topos Institute
Рет қаралды 3,6 М.
Infinitude of primes --- a Lean theorem prover demo
23:35
Infinitude of primes --- a Lean theorem prover demo
leanprover community
Рет қаралды 27 М.
AI Generated Videos Just Changed Forever
12:02
AI Generated Videos Just Changed Forever
Marques Brownlee
Рет қаралды 9 МЛН
What Can Beginners Learn from Video Games (twelfth RacketCon)
32:40
What Can Beginners Learn from Video Games (twelfth RacketCon)
Racket
Рет қаралды 891
Will ChatGPT replace programmers? | Chris Lattner and Lex Fridman
6:45
Will ChatGPT replace programmers? | Chris Lattner and Lex Fridman
Lex Clips
Рет қаралды 174 М.
The State of Racket - Sam Tobin-Hochstadt - RacketCon 2023
30:16
The State of Racket - Sam Tobin-Hochstadt - RacketCon 2023
Racket
Рет қаралды 1,1 М.
Teaching and Learning Compilers Incrementally - Jeremy Siek - RacketCon 2023
33:13
Teaching and Learning Compilers Incrementally - Jeremy Siek - RacketCon 2023
Racket
Рет қаралды 1,8 М.
Introductory Proof with Lean 4 - Natural Numbers
11:54
Introductory Proof with Lean 4 - Natural Numbers
MathPom
Рет қаралды 2,9 М.
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
David Renshaw
Рет қаралды 7 М.
What will he say ? 😱 #smarthome #cleaning #homecleaning #gadgets
01:00
What will he say ? 😱 #smarthome #cleaning #homecleaning #gadgets
EasyHomePlus
Рет қаралды 10 МЛН