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
2.
Quick Start
2.1.
Installation
2.2.
Your First Plot
Source Code
Report Issues
←
1. Features
2.1. Installation
→
2. Quick Start
🔗
This chapter gets you plotting in minutes.
2.1.
Installation
2.2.
Your First Plot
←
1. Features
2.1. Installation
→