These notes are part of the PhysLean project, which aims to digitalize physics into the Lean theorem prover.
This can be thought of as the reference manual for PhysLean. If you are looking for documentation see the docs.