LeanPlot: Interactive Plotting for Lean 4

4. API Reference🔗

LeanPlot provides a layered API following progressive disclosure:

  1. Tier 0 (Zero-Config): Functions like plot, plotMany, scatter, and bar that just work

  2. Tier 1 (Components): Mid-level functions like LeanPlot.Components.sample and mkLineChart for more control

  3. Tier 2 (Recharts): Direct access to Recharts JSX components for full customization

  1. 4.1. Zero-Config Functions
  2. 4.2. Components Layer
  3. 4.3. The ToFloat Typeclass