36:12Unveiling Treasures: Boosting Access and Discovery of Your Special Collections with Lean LibraryLean Library117 viewsView & Download
25:52Sebastian Ullrich - The Lean module system (Lean Together 2026)leanprover community538 viewsView & Download
54:52Combining Lean Library with OpenAthens: simplifying the user journey for library patrons - 3pm GMTOpenAthens446 viewsView & Download