/lean-slides

A tool to auto-generate and render slides from Markdown comments in the Lean editor.

Primary LanguageLeanGNU General Public License v3.0GPL-3.0

No issues in this repository yet.