3a8c3bd4d41c951829ce963aaf1dee433f3e7b090a275ecc97268e8d6282a7a4  files/LICENSE.md
02e7916edeb1132ce0d0a3726285ad719ee41a25393a09f482c695cbf9d13b51  files/LICENSE_STATUS.json
14b4274e41f1f6cc7fda08dbeafd1d3d44c4b0b717379bf55d01775153abab57  files/README.md
2c9b40fd168ff5eb27b2762d7a48dc83c3850c0a15a11d10042e647a595ea975  files/output/pdf/Paper_IX_Euler_Lean_Guide_Final.pdf
f389fb873a8f747a370922fe9f27251c03c826bd75b4a3e7feb1300ac3e2b65d  files/output/pdf/Paper_IX_Euler_Visual_Guide_Final.pdf
1975d95d124cdb303452950c272917c2e3fc20c19fdc882ad39b8f9744d328ca  files/publication/pdfs/Paper_IX_Euler_Main_Final.pdf
6cbaa64e02ecfbe3b10dbd96a8540d8dc61baa87226c920e9c15dfd6c9e9ee18  files/sources/lean/README.md
bc657c5a368c3b6dca1f9d0c7cc51805a65278514ab6677007cb18f7dc91ff66  files/verification/freeze_2026-10-21/LICENSE_AUDIT.json
05e16c924f4855b4913262916f964c51c5f46d3aff35acfad1807f2e08294983  files/verification/freeze_2026-10-21/LICENSE_AUDIT.txt
