PhysLean_notes

Notes in PhysLean

Making the notes

These notes are made with Verso.

Running the notes locally

To run the notes locally run

lake exe notes --depth 2
python3 -m http.server 8800 --directory ./_out/html-multi