leanprover community
Videos hosted by the Lean theorem prover user community.- 33:23
- 8 ай бұрын
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean
- 29:59
- 8 ай бұрын
Lean Together 2024: Jad Ghalayini, Explicit Refinement Types
- 22:45
- 8 ай бұрын
Lean Together 2024: Joe Hendrix, Lean Standard Library 2024
- 29:52
- 8 ай бұрын
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean
- 27:56
- 8 ай бұрын
Lean Together 2024: Yicheng Qian, Lean-auto
- 28:31
- 8 ай бұрын
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof
- 30:34
- 8 ай бұрын
Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover
- 30:17
- 8 ай бұрын
Lean Together 2024: Alex J. Best, Leaff, a Lean diff tool
- 30:37
- 8 ай бұрын
Lean Together 2024: Rémy Degenne, Probability in the formalization of the PFR conjecture
- 28:36
- 8 ай бұрын
Lean Together 2024: Sebastian Ullrich, Are we fast yet?
- 1:01:17
- 8 ай бұрын
Lean Together 2024: Emina Torlak, Cedar
- 17:16
- 8 ай бұрын
Пікірлер