0art0/lean-slides

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

LeanStars 23Forks 8Watchers 23Open issues 4License GNU General Public License v3.0

Details

仓库信息

Owner0art0

Homepage—

Last pushed2025-11-10

Last updated2025-12-14

Issues fetched at—

Community at a glance