LeanPlot0.1.0
Interactive React-powered charting library for Lean 4 in VS Code's infoview
Sort by
Require Order
verso
cdd5637
Lean documentation authoring toolproofwidgets
v0.0.59
Helper toolkit for creating your own Lean 4 UserWidgets