0art0 / lean-slidesLinks

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

Alternatives and similar repositories for lean-slides

Users that are interested in lean-slides are comparing it to the libraries listed below

Sorting: