Lean Together 2024: Mac Malone, How Reservoir boosts your Lean packages

  Рет қаралды 153

leanprover community

leanprover community

Күн бұрын

Пікірлер: 1
@DeathSugar
@DeathSugar 7 ай бұрын
wonder if they detect license conflicts
Lean Together 2024: Ashvni Narayanan, Formalization of p-adic L-functions
28:52
Lean Together 2024: Ashvni Narayanan, Formalization of p-adic L-functions
leanprover community
Рет қаралды 123
Lean Together 2024: Wrenna Robson, Permutations on bitvectors
33:24
Lean Together 2024: Wrenna Robson, Permutations on bitvectors
leanprover community
Рет қаралды 146
Камбэк, которым Последний Император может по-настоящему гордиться #shorts
00:53
Камбэк, которым Последний Император может по-настоящему гордиться #shorts
BalcevMMA_BOXING
Рет қаралды 8 МЛН
У ГОРДЕЯ ПОЖАР в ОФИСЕ!
01:01
У ГОРДЕЯ ПОЖАР в ОФИСЕ!
Дима Гордей
Рет қаралды 7 МЛН
ФНАФ В РЕАЛЬНОЙ ЖИЗНИ 🧸😈 #fnaf #фнаф #shorts YOUNG
00:59
ФНАФ В РЕАЛЬНОЙ ЖИЗНИ 🧸😈 #fnaf #фнаф #shorts YOUNG
YOUNG
Рет қаралды 2,6 МЛН
Magic or …? 😱 reveal video on profile 🫢
00:14
Magic or …? 😱 reveal video on profile 🫢
Andrey Grechka
Рет қаралды 61 МЛН
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
leanprover community
Рет қаралды 512
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
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: Yicheng Qian, Lean-auto
27:56
Lean Together 2024: Yicheng Qian, Lean-auto
leanprover community
Рет қаралды 406
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
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
28:39
Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer
leanprover community
Рет қаралды 292
Rubi rose speaks on the first time she met Playboi carti
0:35
Rubi rose speaks on the first time she met Playboi carti
Funny Digital
Рет қаралды 1,6 МЛН
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
Рет қаралды 248
Lean Together 2024: Sophie Morel, Formalising Grassmannians in Lean
28:50
Lean Together 2024: Sophie Morel, Formalising Grassmannians in Lean
leanprover community
Рет қаралды 190
Lean Together 2024: Leonidas Lampropoulos, Property based testing in Coq
29:55
Lean Together 2024: Leonidas Lampropoulos, Property based testing in Coq
leanprover community
Рет қаралды 210
Камбэк, которым Последний Император может по-настоящему гордиться #shorts
00:53
Камбэк, которым Последний Император может по-настоящему гордиться #shorts
BalcevMMA_BOXING
Рет қаралды 8 МЛН