9aceca2cc52fe2a34944990558d4d982cfe1f8cdf18d9f7da9e29b6f709749a9  files/LICENSE.md
1c6e1c28476423ea41fc231ec9a3a28a831fbc02d3d05faf7d8f1aa103c4d30f  files/LICENSE_STATUS.json
6945978e8d47d5bc94274b21487cf94e3586806fe9a2b3f5fbeb8fcd6cffe0cc  files/README.md
e9bc0eb0b109fcad74125b40d29d1d62a5ee60ce65d4948ab253d3fc0237fb50  files/editable/traditional/Paper_VII_Traditional_Final.tex
010970aaea8a6a2fba5b85cbc24b51a377893fb59fbb46e2368b2525283ba545  files/papers/Paper_VII_Lean_Guide_Final.pdf
a4648faa8a1e6d3c15233eae64db2d1f7205ff2330a0dd861125313ea680d19e  files/papers/Paper_VII_Traditional_Final.pdf
4269a311f6e7a24e3f05471df5d98b2161a7c1f8f4890d4d924491e1254fa13b  files/papers/Paper_VII_Visual_Guide_Final.pdf
9e89943590ca60f644905d5913e49ccacd6196d927acf25966af72984d9b99d4  files/verification/freeze_2026-10-20/LICENSE_AUDIT.json
cb90f9e86e212310ca5ab17be0b997b9ac140513e940c5bd8f0c4d28bde3178b  files/verification/freeze_2026-10-20/LICENSE_AUDIT.txt
