lean-slides
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
Sort by
Require Order
batteries
14f2585
The "batteries included" extended library for the Lean programming language and theorem proverproofwidgets
v0.0.36
Helper toolkit for creating your own Lean 4 UserWidgets