GitHub repository: 0art0/lean-slides
Primary language: Lean
Created: 2023-07-30T12:49:44Z
Description: A tool to auto-generate and render slides from Markdown comments in the Lean editor.