LeanPlot0.1.0
Interactive React-powered charting library for Lean 4 in VS Code's infoview
Sort by
Require Order
verso
6f0c12bLean documentation authoring toolproofwidgets
627a972Helper toolkit for creating your own Lean 4 UserWidgets