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