ff7c5810809485a586c902f65e7f274ec47792a1279e4605a07652a2e9008398  files/LICENSE.md
c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08  files/LICENSES/LICENSE.AINTLIB.txt
85a51ca73526f64354dd7c6e97a0f513fbed392a31280061b5d6042170914320  files/LICENSES/LICENSE_TEXT_PROVENANCE.json
f8e3e88efe9fe5dcd14ea608beaf45af1baea9ae1846ad4445eff90a04ec6624  files/LICENSE_STATUS.json
9e7d68c37548616f6cabce81c7564941be73f0fba421926f4255b5d2d721dfd1  files/README.md
7220f965531cdb1166885c208ac46c2fe4776cfbc34cb98419eccf11abf2c27c  files/editable/traditional/Paper_II_Traditional_Final.tex
2c2e9897d65b656aa6957631f1c389245d4e83718379975dae9a268afd28f445  files/papers/LICENSE.txt
e3776d3648eacb5ce887d7a46ca0cf107f651a9ed154c1b54d64c19f06f8552e  files/papers/Paper_II_Lean_Guide_Final.pdf
460efdb92bbd39bb304fbd535ecbfe814d89f704de3dd4563e1e40af1abd6eee  files/papers/Paper_II_Traditional_Final.pdf
9ed63381f0c0a0c4c6f463064db128b28ad324f4942dd5a05829afdc6a2c4f90  files/papers/Paper_II_Visual_Guide_Final.pdf
31014219fcedc5e9dcd9f619d8ed9145ce901da7dbe582269ec84fc8c3c8f8db  files/source/LICENSE_NOTICE_2026-10-20.txt
c9b2116dbd800732ffb11fae9aa8a85855e7f4ec2c27488d14c628df8bd7e7de  files/source/canonical_v1.2.1/LICENSE_STATUS.md
57c8ff33c9c0cfc3ef00e650a1cc910d7ee479a8bc509f6c9209a7c2a11399d6  files/third_party/urw_base35_fonts/COPYING
772b1b47eead8722156abaed483154e1dd1137e7035290550cea6444192a2e3f  files/third_party/urw_base35_fonts/LICENSE
c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08  files/verification/closeout_2026-10-19/semantic/provenance/LICENSE.AINTLIB.txt
c6596eb7be8581c18be736c846fb9173b69eccf6ef94c5135893ec56bd92ba08  files/verification/closeout_2026-10-19/semantic/receipts/cauchy/provenance/LICENSE.AINTLIB.txt
