def363fdba2c8cba101f0c31096631b1c5aae10fa2386b729e87b034d5d23e2c  files/Komorebi_Physics.pdf
f308a98e575106d6992d17f112a9569ee37e37ddff13f764918874ba826d1b13  files/LICENSE
11404507e4c1db9fe11e25f4745cf5f31e8834f6dd73eade986e8a2960752525  files/README.md
053cec76421d6d482ff9f00f78fd2db3164f6a671bf5ee50c50dfbd853bd7b0a  files/compiled/Physics_Lean_Companion/Physics_Lean_Companion.pdf
ee8540b9bad13a8912475b43c67804fdc3a37c1d153c1102f7bc57e75bc76d29  files/formal/continuum/README.md
b6c313e2fb666a70d7b6b6aaa4abae9a44933eef1779397b2d8eb61279a0ce90  files/formal/continuum/verification/block03_baseline_interrupted/NOTICE.md
