Download "Leanprover Community" as MP3

14 matches for "Leanprover Community". Press "Download" to choose format and quality.

1. 30:07

   Vasilii Nesterov - Verified computation of real asymptotics (Lean Together 2026)

   leanprover community 30:07 MP3 ~41.4 MB

2. 25:52

   Sebastian Ullrich - The Lean module system (Lean Together 2026)

   leanprover community 25:52 MP3 ~35.5 MB

3. 35:44

   Yaël Dillies - Hopf algebras, affine group schemes and all of that (Lean Together 2026)

   leanprover community 35:44 MP3 ~49.1 MB

4. 25:27

   Salvatore Mercuri - A bottom-up approach to formalisation in the FLT project (Lean Together 2026)

   leanprover community 25:27 MP3 ~35.0 MB

5. 28:33

   Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)

   leanprover community 28:33 MP3 ~39.2 MB

6. 1:01:31

   Lean for the Curious Mathematician 2023 Logic

   leanprover community 1:01:31 MP3 ~84.5 MB

7. 32:24

   Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026)

   leanprover community 32:24 MP3 ~44.5 MB

8. 24:07

   Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)

   leanprover community 24:07 MP3 ~33.1 MB

9. 26:42

   Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)

   leanprover community 26:42 MP3 ~36.7 MB

10. 26:02

    Sophie Morel - Nori's construction in Lean. (Lean Together 2026)

    leanprover community 26:02 MP3 ~35.8 MB

11. 24:36

    Johan Commelin - The Mathlib Initiative (Lean Together 2026)

    leanprover community 24:36 MP3 ~33.8 MB

12. 28:41

    Sebastian Graf - Simpler do proofs with mvcgen (Lean Together 2026)

    leanprover community 28:41 MP3 ~39.4 MB

13. 27:10

    Kim Morrison - grind (Lean Together 2026)

    leanprover community 27:10 MP3 ~37.3 MB

14. 34:35

    Is This the End of Handwritten Math? Introducing Lean

    Ank Yog 34:35 MP3 ~47.5 MB