No results found

lean-slides

A tool to auto-generate and render slides from Markdown comments in the Lean editor.
#reveal-js
Sort by
  1. Git dependency.
    Found on Reservoir.

    batteries14f2585

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Git dependency.
    Found on Reservoir.

    proofwidgetsv0.0.36

    Helper toolkit for creating your own Lean 4 UserWidgets