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)

178 views

2 days 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)

115 views

2 days 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)

101 views

2 days 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)

78 views

2 days ago

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

169 views

2 days 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)

52 views

2 days 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)

89 views

2 days 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)

37 views

2 days 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)

151 views

2 days ago

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

75 views

2 days 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)

53 views

2 days 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)

53 views

2 days ago