8cc8fa1fc16b9dbefabe62a3171b0bbf59c28fcf86fecdd40e0d40f857c73c80  4_soundness.book
194ea5348bf396f4acfda40f2697a18d2a6c0ffdcf43d7aa1a405fa111542461  4_soundness.html
db1f71dd143c8ef7d8e0790ad1ba678f92d6a4d917d38fb713a7283f54d957aa  README.md
29b27ebedf950368517c29656f452464231dd3c35014476c721b9407a650f41c  correspondence.md
dab2fa25d4865f5f1c50a8176b37ef2550ef8d5c9cfd6ac1d7733804edbe60dc  provenance.json
f5754246207953de7e4913c5e1b1ab50465dd0661a0ac73ca610c4c55530a494  implementation_snapshot.txt
d29e050c98bd2eeb0ed18c974452c5c3f8381d7a2cc90ecacad4d0d6fb16b5b8  results.json
384f30a2eb21e2b3aa5b3efe68e362831a22b41bfbc3a4cfa58079b48369e8d7  foundation.mm
de7b3daa2c6b31c95982890c0207330a6e550e6397cef03d17bcd213da34e3bd  positive.mm
512368977cf566385784271751d686394baecd4595d25113a4625a7a14f90894  bad-conclusion.mm
d9a3c9525081b742887c181edfa829cc3623abb69aef4cf9a440fd5e8df2eebf  bad-distinct.mm
79876fdfd288c4db387eb5d02b57892d02f181f1a848e4279d04de1e4dca814c  bad-rename.mm
9ea002e0ecbb54b8bb1679e48c66abf011cb946cc799f004ef962bff0b839799  case-proofs.mm.txt
5661dba54d4022c30f36b13f99546e0e29e6f907b0cdbe1f678fbd2590fe38a4  build_cases.py
eae03c235e013c27d8c3571a51c24cddabc32e9118f09887c5ad967295d2affe  run_checks.py
6d7a90b498ca67a5c5cf36d20020deb2498a17a3fe3d6217136ace8274aa81be  extract.log
017622c9f6e88309500d8a73948cbcada5bae78252fde1d13fff2f4f97c2cd80  positive.log
e9b4764d499af14d13f7c2c2b4f8090bd13823c5abe15ff3c0ef51804def0cc6  positive.metamath.log
221c10fffcbfa44e69d5f52b8d4f9c4ca1413f4ee5d11933f3b98a4c274b4341  positive.mmverify.log
d2203799ad4265622e4083fe46ab59350ae517a9d5e4c8b2ab11beade486a376  bad-conclusion.metamath.log
4cdf8c71809f85fc610f58681a4e79cff8cb7b87be4864d44cc8eca4c54b07ce  bad-conclusion.mmverify.log
c3c03cf9d616db6ebffcc0b04fbe2477f1ad80be079bb499eea1b17e6f15e29a  bad-distinct.metamath.log
96b10b6a32e939120f5f6bb8ba471ea47b28f3e4e6b3cff1b96e9b741f27dd25  bad-distinct.mmverify.log
38c564545c581929564948eebcde47b1773253a2a56633f1fd1aefd9a19ef803  bad-rename.metamath.log
22bc117b9db9f74a004826b60f47da085a46532acb93270fc2e309fedeb98716  bad-rename.mmverify.log
