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
8.
License
Source Code
Report Issues
←
7. Contributing
8. License
🔗
LeanPlot is released under the Apache License 2.0.
←
7. Contributing