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
7.
Contributing
Source Code
Report Issues
←
6. Demo Gallery
8. License
→
7. Contributing
🔗
Contributions are welcome! Check the
GitHub repository
for issues and pull requests.
←
6. Demo Gallery
8. License
→