0art0/lean-slides Issues
Only watch the slides folder
Closed 5Use revealjs options
Updated 2Shift to `pandoc-server`
UpdatedWarn if server is not running
Closed 1Script for running the server
Closed 2Dynamic loading of slides
Closed 1
A tool to auto-generate and render slides from Markdown comments in the Lean editor.