ViewTube

ViewTube
Sign inSign up

Info

Videos hosted by the Lean theorem prover user community.

Tags

Lean
proof assistant
theorem proving
math
mathematics
verification
formal proof

Stats

Joined Invalid Date
0 total views
Videos
leanprover community
David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)
00:26:33
David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)

85 views

20 hours ago

leanprover community
Julius Marx - MRiscX: Certified RISC-V interpreter with Hoare logic as a DSL (Lean Together 2026)
00:26:08
Julius Marx - MRiscX: Certified RISC-V interpreter with Hoare logic as a DSL (Lean Together 2026)

29 views

20 hours ago

leanprover community
Sebastian Graf - Simpler do proofs with mvcgen (Lean Together 2026)
00:28:41
Sebastian Graf - Simpler do proofs with mvcgen (Lean Together 2026)

38 views

20 hours ago

leanprover community
Stefan Kebekus - Formalizing Value Distribution Theory of Complex Analysis (Lean Together 2026)
00:28:10
Stefan Kebekus - Formalizing Value Distribution Theory of Complex Analysis (Lean Together 2026)

17 views

20 hours ago

leanprover community
Sebastian Ullrich - The Lean module system (Lean Together 2026)
00:25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)

56 views

20 hours ago

leanprover community
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)
00:26:49
Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)

28 views

20 hours ago

leanprover community
Salvatore Mercuri - A bottom-up approach to formalisation in the FLT project (Lean Together 2026)
00:25:27
Salvatore Mercuri - A bottom-up approach to formalisation in the FLT project (Lean Together 2026)

42 views

20 hours ago

leanprover community
María Inés de Frutos Fernández - the universal divided power algebra (Lean Together 2026)
00:22:13
María Inés de Frutos Fernández - the universal divided power algebra (Lean Together 2026)

10 views

20 hours ago

leanprover community
Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)
00:17:48
Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)

41 views

20 hours ago

leanprover community
Hannah Scholz - Formalisation of CW complexes (Lean Together 2026)
00:22:36
Hannah Scholz - Formalisation of CW complexes (Lean Together 2026)

34 views

20 hours ago

leanprover community
Moritz Doll - Formalizing Schwartz functions and tempered distributions (Lean Together 2026)
00:26:41
Moritz Doll - Formalizing Schwartz functions and tempered distributions (Lean Together 2026)

12 views

20 hours ago

leanprover community
Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026)
00:32:24
Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026)

14 views

20 hours ago