Wojciech Nawrocki: Extending the Lean user interface with widgets (a tutorial) External Video-URL https://www.youtube.com/watch?v=9yG0-CoHDHQ Preview-Image Search Engine Exclude no
