2.1. Installation🔗

Add LeanPlot to your project's lakefile.toml:

[[require]]
name = "LeanPlot"
git = "https://github.com/alok/LeanPlot"

Then fetch and build the dependencies:

lake update
lake build

You'll need node/npm on your PATH - ProofWidgets handles the bundling automatically.