To download and build the example file run these commands
git clone https://github.com/lecopivo/SciLeanDemo
cd SciLeanDemo
lake exe cache get
lake build scileandemo wave
the last two commands might take several minutes to run especially the last one.
Open Main.lean to follow the lecture.
To run the wave example execute
.lake/build/bin/wave