LeanPlot: Interactive Plotting for Lean 4

3.1. Progressive Disclosure🔗

LeanPlot follows a progressive disclosure philosophy. This means the API is layered so that simple tasks require simple code, while advanced customization is still possible when needed.

The three tiers are:

  1. Tier 0 (Zero-Config): One-liner helpers like plot, scatter, bar

  2. Tier 1 (Components): Building blocks like LeanPlot.Components.sample, mkLineChart

  3. Tier 2 (Recharts): Direct JSX access for full control

Most users only need Tier 0. The other tiers exist for when you need fine-grained control over rendering.