Lean Together 2024: Jack McKoen, Simplicial Homotopies in Lean

  Рет қаралды 416

leanprover community

leanprover community

Күн бұрын

This is a prerecorded talk, presented as part of the Lean Together 2024 workshop: leanprover-com...
The work discussed can be found at github.com/lea...

Пікірлер
Lean Together 2024: Bolton Bailey, Formalization of SNARKs
17:16
Lean Together 2024: Bolton Bailey, Formalization of SNARKs
leanprover community
Рет қаралды 401
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
leanprover community
Рет қаралды 513
🤔Насколько Глубокую Яму можно Выкопать ? #shorts
00:45
🤔Насколько Глубокую Яму можно Выкопать ? #shorts
King jr
Рет қаралды 10 МЛН
Apple peeling hack
00:37
Apple peeling hack
_vector_
Рет қаралды 82 МЛН
Фаст Сергей и Фаст Полина 7 лет назад🫶🏼😉🥰 #fastsergey #family
00:10
Фаст Сергей и Фаст Полина 7 лет назад🫶🏼😉🥰 #fastsergey #family
Fast Sergey
Рет қаралды 2 МЛН
The CUTEST flower girl on YouTube (2019-2024)
00:10
The CUTEST flower girl on YouTube (2019-2024)
Hungry FAM
Рет қаралды 41 МЛН
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
22:45
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
leanprover community
Рет қаралды 475
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
Algebraic Topology 1: Homotopy Equivalence
1:08:49
Algebraic Topology 1: Homotopy Equivalence
Math at Andrews University
Рет қаралды 15 М.
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
28:39
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
leanprover community
Рет қаралды 292
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
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
29:35
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
leanprover community
Рет қаралды 159
Power Tower with @3blue1brown
16:15
Power Tower with @3blue1brown
Tom Rocks Maths
Рет қаралды 97 М.
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 М.
🤔Насколько Глубокую Яму можно Выкопать ? #shorts
00:45
🤔Насколько Глубокую Яму можно Выкопать ? #shorts
King jr
Рет қаралды 10 МЛН