Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof

  Рет қаралды 825

leanprover community

leanprover community

Күн бұрын

Пікірлер: 1
@schweinmachtbree1013
@schweinmachtbree1013 7 ай бұрын
Brilliant!
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
Рет қаралды 1 М.
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
Рет қаралды 741
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 МЛН
小丑和白天使的比试。#天使 #小丑 #超人不会飞
00:51
小丑和白天使的比试。#天使 #小丑 #超人不会飞
超人不会飞
Рет қаралды 36 МЛН
Сбежать от Granny : Nuggets Gegagedigedagedago пытается удрать от страшной бабульки !
00:32
Сбежать от Granny : Nuggets Gegagedigedagedago пытается удрать от страшной бабульки !
Фани Хани
Рет қаралды 4,1 МЛН
Incredible Dog Rescues Kittens from Bus - Inspiring Story #shorts
00:18
Incredible Dog Rescues Kittens from Bus - Inspiring Story #shorts
Fabiosa Best Lifehacks
Рет қаралды 37 МЛН
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
22:45
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
leanprover community
Рет қаралды 475
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
Рет қаралды 329
Monthly Community Meeting Jan 12, 2024
1:02:15
Monthly Community Meeting Jan 12, 2024
leanprover community
Рет қаралды 1 М.
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
8:47
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
David Renshaw
Рет қаралды 7 М.
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean
33:23
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean
leanprover community
Рет қаралды 278
Terence Tao, "Machine Assisted Proof"
54:56
Terence Tao, "Machine Assisted Proof"
Joint Mathematics Meetings
Рет қаралды 178 М.
Think Fast, Talk Smart: Communication Techniques
58:20
Think Fast, Talk Smart: Communication Techniques
Stanford Graduate School of Business
Рет қаралды 40 МЛН
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
leanprover community
Рет қаралды 512
Lean Together 2024: Yicheng Qian, Lean-auto
27:56
Lean Together 2024: Yicheng Qian, Lean-auto
leanprover community
Рет қаралды 406
Automated Mathematical Proofs - Computerphile
18:02
Automated Mathematical Proofs - Computerphile
Computerphile
Рет қаралды 91 М.
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 МЛН