This repository is not active
matematiflo/lean-slides
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
LeanGPL-3.0
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
LeanGPL-3.0
This repository is not active