A tool to auto-generate and render slides from Markdown comments in the Lean editor.
Primary LanguageLeanGNU General Public License v3.0GPL-3.0