25:52Sebastian Ullrich - The Lean module system (Lean Together 2026)leanprover community536 viewsView & Download