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
Notes
Notes in PhysLean
Notes in PhysLean
These notes are made with Verso.
To run the notes locally run
lake exe notes --depth 2
python3 -m http.server 8800 --directory ./_out/html-multi