e7a70358aa715e5f1a3bcb1182970c05c4869558d5f61bf0a0e442d67a7f7804  files/LICENSE.md
58bbde770624488afd4b3a70ebba2633daf2144c90be74ebb907761df7ff21f1  files/LICENSE_STATUS.json
4f697b23a4bc211f660ed4aa549bc2470a6165c9f29ca7bc9befa5ebd2c377f1  files/README.md
9f767602dfcc1145ba7d593d17dc2c95676bed88bd78a6a24a4fe553455bbaba  files/editable/traditional/Paper_VIII_Traditional_Final.tex
a818b2179a581ee3f9c0191f9998e911250dbc25305eaa6b1782232a01b762b2  files/papers/Paper_VIII_Lean_Guide_Final.pdf
0b25167cdddd5c07cc36252ba13abb7db423392d6387ccef0dbd0ddb813b5042  files/papers/Paper_VIII_Traditional_Final.pdf
a78f1c18c7c36cecbaf9484bc6dc643300c3b5054df338f48be6390af5e520c7  files/papers/Paper_VIII_Visual_Guide_Final.pdf
e0463a4e6ca0e5d699ddaf2ab5e88781f19198d7a3893b24a11df657f1d6df78  files/verification/freeze_2026-10-21/LICENSE_AUDIT.json
4e1dd9c4f0b3e62b63fdf43c60d9cffa27423b791d26dbb585698c4674379f09  files/verification/freeze_2026-10-21/LICENSE_AUDIT.txt
