71c7fa4a1fe12ef553b2e94ca4d22fd5e93c4e66b3204871d6ddc3acc2e4d93a  README.md
1ff7863f69768eb3ee9eeec3329e9ee22f4211bbac07378b8df5e3f7c863e989  CITATION.cff
fe73f8fe76c9f49b9147c4113edcd12444405c4962a53d605e390285b72a2d2e  verification/requirements.txt
8b364c854506b74df74b28820304bd410cfdbf6a71ce7da90830e075105f5066  verification/run_checks.py
23bd84ed9a97e8601c4075dd7f5e6f0789d785c7217cc2ca9392433e27fa0401  verification/logic_audit.py
862f15716a3d519d4a9c29cd27475bf0815f9e7d61bcbae20ade69f6bc548fe7  verification/article_2115_classical_logic_claims.json
b6415c2e843c50d7d65fbec9473c45479a3c1c5f22f83ddba6b202869bf673b9  verification/foundational_formal_checks.py
1294c4ea73eb4ceb315c35f3cd46d9cd48f4de4a31ba1ff8f3c98ac1ad0736ab  verification/section_xii_formal_checks.py
b20d41a71d9ddb0d279bf550bee8e617433d31857e96312e4cd7bf1a56749e88  verification/kh_dependency_finite_model.py
2f4603ba29f8da9082cac6882100286fa3cfb5a40adaab6a00cc60e0b35d3ec7  verification/plasticity_supplement_adversarial_checks.py
59ae9a416eb150e3bcada547589c04b6d759edcff590402f9075bf983137f061  verification/reser_exact_statistical_audit.py
57fe5e19d1e58778100a84bf99db62414086f9fd5ae5ec63d287cf796759cf15  verification/thermodynamic_units.smt2
6eae6708ee61cb91b36038772c01bc4d0ae7985e79e70b5ae09717ac8d46bd85  verification/partition_non_strict.smt2
a8fcff80db0928c7890dc5555ad28b7664469b0e8aa7bab0cbe36fec02864f00  verification/experiment_record_template.json
71655779b0b5d4e12db4ce85ea1b010d5feb51dc43d39f13fc616b5d6fb8ae40  verification/execution_receipt.json
