LeanPlot: Interactive Plotting for Lean 4
LeanPlot: Interactive Plotting for Lean 4
Table of Contents
1.
Features
2.
Quick Start
3.
Core Concepts
4.
API Reference
5.
Color Palette
6.
Demo Gallery
7.
Contributing
8.
License
3.
Core Concepts
3.1.
Progressive Disclosure
3.2.
Architecture
3.3.
The #plot Command
Source Code
Report Issues
←
2.2. Your First Plot
3.1. Progressive Disclosure
→
3. Core Concepts
🔗
This chapter explains the key concepts behind LeanPlot's design.
3.1.
Progressive Disclosure
3.2.
Architecture
3.3.
The #plot Command
←
2.2. Your First Plot
3.1. Progressive Disclosure
→