3.2. Architecture
LeanPlot has a layered architecture:
User Code → Tier 0 API → Components → Recharts → VS Code Infoview
Each layer adds more control at the cost of more verbosity.
3.2.1. ProofWidgets4
LeanPlot is built on top of ProofWidgets4, which provides the infrastructure for rendering React components in the VS Code infoview.
3.2.2. Recharts
The actual charts are rendered using Recharts, a composable charting library built on React components.