No results found

LeanPlotv0.1.0

Sort by
  1. Git dependency.
    Found on Reservoir.

    versov4.20.0-rc2

    Lean documentation authoring tool
  2. Git dependency.
    Found on Reservoir.

    proofwidgetsv0.0.57

    Helper toolkit for creating your own Lean 4 UserWidgets