LeanPlot: Interactive Plotting for Lean 4

 LeanPlot: Interactive Plotting for Lean 4🔗

Alok Singh

LeanPlot turns Lean 4 code into interactive, React-powered charts that render right inside VS Code's infoview. Built on top of ProofWidgets4 and Recharts, it lets you inspect functions and data visually while you prove.

Contents

  1. 1. Features
  2. 2. Quick Start
  3. 3. Core Concepts
  4. 4. API Reference
  5. 5. Color Palette
  6. 6. Demo Gallery
  7. 7. Contributing
  8. 8. License