71dd79b57068d48490aeba35898a781df81ec835218f47b7222465716ecda76a  FORMAL_VERIFICATION.md
10f723e78d315b36d726a5a4ee6695bd66238e03fde9e700c2a2eb30789d4b76  README.md
0d9ce346b7f695ad5363fdba44e3b56a8e3c836bd347b5f345162661dfacae27  READ_ME.txt
6540dd81c6850ac12516c81a54326261bc7d462fa96359cd79b0038693b9fad8  RIGHTS.md
fe5416b075f3d2efc68b12be31b6bc830eed3a3716a8ea0565afb3dac8adc601  aranstyle.sty
746bd31c1c9800f5c6cfd012627746e5534b0f1a8e1e6134d0e0defa46ec76ce  build.sh
72317280860b546f7bb6b33369ebee16200177d7464159c20ff8ea11d26b4b3b  complex-cubic-koebe-counterexample.tex
0f1b3185abbee806c360fcfc5437db2841d507bccf0dbb05c353f93579734f2f  lean/.gitignore
b2fbc3963e7d09da8c91a905eccfe61d0fc5c3405f52b5e79e4d6160d0479756  lean/Audit.lean
d12d49224bcdf82b35cebe9d59b0279c276db630c9795b5c1ddf116e729b6028  lean/Koebe/Basic.lean
e4a25024ff6e616527be2b0ac5df0938f138f3b795fa633199f8162ef61f94fa  lean/Koebe/Bridge.lean
174a1e2e664f91b09ed6d5d98e796a4d7d241834a04c19e9e2deb9c5fda58d3b  lean/Koebe/Certificate.lean
0aacd1ab22a787f09ad8c0fbc79d880fa2986eb28f9683b781064fe2f9a15c4d  lean/Koebe/Counterexample.lean
ba76de461417a7a6902f5babdf163e40a415516c5ae96018db9198782fb22993  lean/Koebe/EqualRadius.lean
711bf0b507da34f8c18c4c91815c4897039b5d4c53dac158f53210516db588a3  lean/Koebe/Schur.lean
e51b1f80f73f33eecd6988c94a0b1e042472c04230d9d073b6afd2d9e9669706  lean/Koebe.lean
a06f865410087ecfc9e2eb8775777fe4fbb8b2c823dac38487663ea316df31b4  lean/README.md
d922e74099326f5f25ddb469477e3b5091135ec75f8b57a019e6a2c1e5603e17  lean/SOURCE_SHA256.json
19d1c34b491e1e181181f50f3de9731507bee339a0c2cb79d7275a6a29771a4b  lean/evidence/axiom-audit.log
20dac56eb446a36372aeeeaa77b8aa8a4c6c0a4a55e4cd571aa0341fe36a534e  lean/evidence/clean-build.log
4a1a1bd179897114a7969954340b63491d703b648140df22646c17856638fbd8  lean/evidence/manuscript-statement-check.json
919e19312444acc54e23a1904f6c3af3b2bc1bd2a717f77b0e1052f9c1fc22bb  lean/evidence/verification.json
e25cacb852d244ce10f69bfa2af83ae4d178a88ee40d4b8df2a6497c4220a181  lean/lake-manifest.json
a4441bc06a0a338514b8be805f969146d24b0dadac99eeaab948d150611dc77a  lean/lakefile.toml
d5edba4e4b8faad9c1baeadb265716d20d03be4d1a2647dc5e35b0c0325bea7b  lean/lean-toolchain
7e9b12bcee6133f1c658d37fcef05183cb7658122f4f7f1d9d870dfca4cd1f0a  lean/scripts/package.py
dbc7ceccd9ce6a55d571d996839857500a093aaf787b35e6afe861685479405a  lean/scripts/verify_build.py
e7d221d9e5398c7eb8d72cbbeaeb64049bedcfaae4ff7ed0defebc1370ea39e3  metadata.json
627a857e5d5533c33b87eb92c6a414aab106c199ac5972fd81905400c2969268  verification/check_formal_links.py
dfd37fca33138c156c3a4209b02a67910ea59b8f60ab7c7c38dcf3762a5d85f5  verification/check_presentation.py
68e665a91e2f24d6da136adc9d6083a128c1f4cb5f97ee03fb124b06ff92f3df  verification/check_results.json
bff10213573e9a586d95a64828df3879048c217254688ba4c348ff1972a509cd  verification/exact_certificate.json
14be30da095eb15695077bc7a009e6375cf5bd3e6bc0c8d2a1a5f8c90c15fa3b  verification/formal_link_results.json
d45555e3a3d02fcc0415327b5c7946fa23181caaef729d592c5bceccf2cba242  verification/presentation_certificate.json
b81a1e5052dd14b5dcf796144b3508f5a2dac52176b8e94ab87579918df466b9  verification/run_checks.py
cd3fb07af10b735dccbd44a308704ab8d2bc0f9a472ce3e5e5b0c2fe9c8019b9  verification/verify_exact.py
