0fa888f77dbeee00f2c94d1e54f5ee771c9cb6688baad4463fd01af28b0157bf  files/LICENSE.md
153f2b7e81d4b2452d61de229697cbcdee5d3e1a2617ce4ca882b9b06d2ab272  files/LICENSE_STATUS.json
3d1d793cf62f356e3fc9b355deaec2468374d5384992e89577ef9a5e2e131374  files/README.md
395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb  files/core/predecessor/editable/lean_guide/formal_release/LICENSE
395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb  files/core/predecessor/source/latest_v0171/Paper_XII_Complete_v0.17.1_With_Visual_Appendix/formal_release/LICENSE
395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb  files/core/predecessor/source/native_reverification/PRSC_XII_v0.17.1_Completion_Reverified/LICENSE
af2333bbb064ca58d24bb4f585b2597e6a55d0bc8dc061b25d491af94b0111e9  files/core/publication/pdfs/Paper_XII_Lean_Guide_v1.0.0.pdf
24358e5607b1d51561131c9475f2177d146b548836aa29cc18747b43fb7bd53e  files/core/publication/pdfs/Paper_XII_Traditional_v1.0.0.pdf
c166da190d198fa500505b53c3e5af7c381ed1b3e559b3658087ac414de458d5  files/core/publication/pdfs/Paper_XII_Visual_Guide_v1.0.0.pdf
a37fa78d373e756fade6f8c84f9e40bf5cc391a6e95c02b943739f05abaceddb  files/core/publication/source/lean_guide/README.md
395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb  files/core/publication/source/lean_guide/formal_release/LICENSE
e6ede1d27fc998b64a5328a7873dc8a9e3a4a60584721f55e24c94f91df0ed52  files/core/publication/source/lean_guide/formal_release/README.md
f5137c0fffed58acc1590165c77a75848e4d97671dca9caafb7c147e6aa1112a  files/core/publication/source/traditional/Paper_XII_Traditional_Final.tex
395cb1877036e2e2787a4bd84bf09adee3d4145b5cd44feebfc330956a200dcb  files/core/verification/block01/replay/appendix-exact/isolated_bundle/formal_release/LICENSE
7d60f235d2c4a9f0a3aaa5453c5a674260bf80db911ef3cd432d467fd3a4e893  files/verification/freeze_2026-10-21/audit_licenses/LICENSE_ADDITION_INVENTORY.json
45b8cb0f32b8add77df485a1a5b717fe6fa1a2b376d4c09c709a44257f4c41c0  files/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.json
83856d38180b980708d3f2ac64359fb2024b8b47ea6497982a1d3e65aa30dce7  files/verification/freeze_2026-10-21/audit_licenses/LICENSE_AUDIT.txt
