Leanprover Community

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 891 5 месяцев назад
Monthly Community Meeting Jan 12, 2024 1:02:15
Monthly Community Meeting Jan 12, 2024 leanprover community 990 5 месяцев назад
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 250 5 месяцев назад
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 214 5 месяцев назад
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types 29:59
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types leanprover community 414 5 месяцев назад
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024 22:45
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024 leanprover community 423 5 месяцев назад
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 649 5 месяцев назад
Lean Together 2024: Yicheng Qian, Lean-auto 27:56
Lean Together 2024: Yicheng Qian, Lean-auto leanprover community 371 5 месяцев назад
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof 28:31
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof leanprover community 727 5 месяцев назад
Lean Together 2024: Leonidas Lampropoulos, Property based testing in Coq 29:55
Lean Together 2024: Leonidas Lampropoulos, Property based testing in Coq leanprover community 175 5 месяцев назад
Infinitude of primes --- a Lean theorem prover demo 23:35
Infinitude of primes --- a Lean theorem prover demo leanprover community 25,348 3 года назад
Lean Together 2021: Towards verified decompilation using Lean 4 32:01
Lean Together 2021: Towards verified decompilation using Lean 4 leanprover community 719 3 года назад
Master Program: Probability Theory - Lecture 17: Central Limit Theorem, II 54:05
Master Program: Probability Theory - Lecture 17: Central Limit Theorem, II Instituto de Matemática Pura e Aplicada 1,556 3 года назад
Lean Together 2021: Metaprogramming in Lean 4 continued 1:33:31
Lean Together 2021: Metaprogramming in Lean 4 continued leanprover community 1,134 3 года назад
Lean Together 2021: Automatically generalising theorems using typeclasses in Lean 34:53
Lean Together 2021: Automatically generalising theorems using typeclasses in Lean leanprover community 1,148 3 года назад
LftCM2020: Natural number game - Kevin Buzzard 25:11
LftCM2020: Natural number game - Kevin Buzzard leanprover community 3,561 3 года назад
Lean for the Curious Mathematician 2023 Analysis 50:14
Lean for the Curious Mathematician 2023 Analysis leanprover community 542 8 месяцев назад
Lean Together 2021: Metaprogramming in Lean 4 1:11:20
Lean Together 2021: Metaprogramming in Lean 4 leanprover community 2,721 3 года назад
Towards Lean 4: An Optimized Object Model for an Interactive Theorem Prover 48:02
Towards Lean 4: An Optimized Object Model for an Interactive Theorem Prover Zurich LLVM Compiler Social 1,309 5 лет назад
Lean for the Curious Mathematician 2023 Logic 1:01:31
Lean for the Curious Mathematician 2023 Logic leanprover community 511 8 месяцев назад
Lean Together 2021: Generative Language Modeling for Automated Theorem Proving 58:21
Lean Together 2021: Generative Language Modeling for Automated Theorem Proving leanprover community 2,331 3 года назад
Lean Together 2024: Emina Torlak, Cedar 1:01:17
Lean Together 2024: Emina Torlak, Cedar leanprover community 1,033 5 месяцев назад
LftCM2020: Structures and Classes 1/2 - Floris van Doorn 16:41
LftCM2020: Structures and Classes 1/2 - Floris van Doorn leanprover community 1,014 3 года назад
Metaprogramming in Lean 3 tutorial: video 3 27:33
Metaprogramming in Lean 3 tutorial: video 3 leanprover community 1,170 3 года назад
Metaprogramming in Lean 3 tutorial: video 6 25:34
Metaprogramming in Lean 3 tutorial: video 6 leanprover community 552 3 года назад
Metaprogramming in Lean 3 tutorial: video 5 28:28
Metaprogramming in Lean 3 tutorial: video 5 leanprover community 728 3 года назад
Metaprogramming in Lean 3 tutorial: video 1 10:29
Metaprogramming in Lean 3 tutorial: video 1 leanprover community 3,352 3 года назад
Metaprogramming in Lean 3 tutorial: video 4 25:02
Metaprogramming in Lean 3 tutorial: video 4 leanprover community 1,017 3 года назад
CICM2021: The Design of Mathematical Language - Jeremy Avigad 1:07:26
CICM2021: The Design of Mathematical Language - Jeremy Avigad leanprover community 2,060 2 года назад
LftCM2020: Logic in Lean - Jeremy Avigad 48:33
LftCM2020: Logic in Lean - Jeremy Avigad leanprover community 2,066 3 года назад
Lean Together 2021: An overview of Lean 4 2:03:36
Lean Together 2021: An overview of Lean 4 leanprover community 7,216 3 года назад
Metaprogramming in Lean 3 tutorial: video 2 12:01
Metaprogramming in Lean 3 tutorial: video 2 leanprover community 1,284 3 года назад

Сейчас ищут