proof_scaffold-0.0.12.dist-info/licenses/LICENSE,sha256=S5q-vEM4BIp8LcGE6fgA3rNJNmvfKOsjwmd6d7TIdyY,19274
skfd/__init__.py,sha256=TqKl_2auN7JJsG_vougOmjNSjPO3io5dwHU3EIm3DT8,261
skfd/api_v2.py,sha256=n4ujHIB5lR3vLDCAUlpJ0EDDFjEB1SfeOWzh-WKgNf4,2153
skfd/cli.py,sha256=VnjzZEVkvZr6QL3czdwF7DpmFcTSkkNa1pJuauN6tM8,33309
skfd/config.py,sha256=06JfZfVrJR3Khx-csPQIdcKLpFQriW73_qspEnL6hkQ,5470
skfd/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
skfd/authoring/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
skfd/authoring/_canonical.py,sha256=iQF_QFHVCJ2DfC9-_O5FA-DmYmP9UWqqbtmNnKQt68M,642
skfd/authoring/assertion.py,sha256=KGw0goZ1Jt9AWCmoztrv-K3jxR7Dmw_aClryAgQL3Nw,29420
skfd/authoring/catalog.py,sha256=NMEYmtzlduzgPwidlzEGaxgpxC3XmOf-vhAbJevIvOo,7268
skfd/authoring/dsl.py,sha256=4uFiLG8Q0oExqNSBhnQEDDADuHy0llOyEP8lDGc4554,17269
skfd/authoring/emit.py,sha256=qbwe8M0Ydv27ejWZPcDCl2bX1789BTn5CID3ZXn9LOM,35767
skfd/authoring/errors.py,sha256=Bn3Tosdb37fGR1erlPj_PpnufQlbYByHfsGFhB8dwqs,112
skfd/authoring/formula.py,sha256=fnsGs3g-HktFKaqF7kXm_onXzGJ2jZn5HX8QJxB_R8Q,2634
skfd/authoring/ids.py,sha256=f8stjNS4xecDFaB7Fl-okggfdDzjKKkqSm9NLrGbIiU,2313
skfd/authoring/judgment.py,sha256=bh5WQ7w6T7FW32HsBCQ5afsDj0ADV_QJsqmrsrxoq4Y,17008
skfd/authoring/language.py,sha256=qHOQbWSPj1p1oQK_ZY8FVANSBTXrbrLxt0ExiCy_0ms,11534
skfd/authoring/legacy_metamath.py,sha256=hVbV5QopTQ5gxsHbZ_20LuAP4zFYHZzKi4_XmC_u-2g,7826
skfd/authoring/legacy_replay.py,sha256=L08v80CiCgh-E3o6ZkkV4i_syCgDQWCk2VDrx9Bh6FY,646
skfd/authoring/metamath_emission.py,sha256=yrp8P-Q_V8LLVCqKIMuVevwKKDKd7BC0dlms_ZBUV5k,29530
skfd/authoring/metamath_language.py,sha256=gVikeQyd8eBH9lXBLtp0pypt6vB6t6BnC2ILkzqMDTw,17105
skfd/authoring/metamath_lowering.py,sha256=DRvhFrLQ76b9bDwEtxl6dHA2xQCXYO2lSB70PI2-wLE,9670
skfd/authoring/notation.py,sha256=88imtER9P-sYhZKgGPIcTY9CM1AerLRhRwJcm7Updh0,11496
skfd/authoring/parsing.py,sha256=bx2cl5yhIxDsYXFmU7F04yhNOdUmhPPiIqZjblNlc-0,8697
skfd/authoring/proof_author.py,sha256=_3TK4ViJo7TH4ON-uvup8hYLeVrohojRQcRCjwt-Ggw,4602
skfd/authoring/replay.py,sha256=1AmArw_1jmMYeR0kb5vdzcHZ-0rILBddzIs7bKTm9Ug,6588
skfd/authoring/rules.py,sha256=taqJaYzr_4gart4Jhuh27Yv_mYgZEvZmmikYESXtuuo,5804
skfd/authoring/source.py,sha256=5_HgKyRMD2gpvJEp7Uyp8Wx7Csb9fy3LlofMJMM8hWQ,11230
skfd/authoring/term.py,sha256=wENAB9RsSTVve15C_1nKwJv5hfQK2GuZIv8R0T3rlqU,774
skfd/authoring/term_ops.py,sha256=MMwDub2mhK1n_KCU2KshHpZKnaLpKYq9BYEScnzCjs8,8704
skfd/authoring/theory.py,sha256=CMzpxDJWPp_I_59aTb1zyyvxrsb68c_s2D1MHlV4PLg,36546
skfd/authoring/typing.py,sha256=3kXiKWO9T-EaDF1AIY3Fgd6y8lTAmiekZlLq-V9HEYM,5952
skfd/builder/__init__.py,sha256=0FCNNv7QeHktkDtomW-pEquBfLxghgLmBl3k-vd79-4,113
skfd/builder/origin_adapter.py,sha256=E_C1jw-f8DbqV4ea0aIqK2Sr1ck477RbHEFt46OL0Fc,940
skfd/builder/visitor.py,sha256=BmyWbFstHQTYkli-W_BYEw-wSLgEIsFntsnX3OMlZ9E,2262
skfd/builder/visitor_lir.py,sha256=PDSrEbnQMMz7cT28Dh1DwAe66Xt7tXAaxtlS1LEoOQ0,3391
skfd/builder_v2/__init__.py,sha256=8nprNw57ErfHRSbMNvJ9rrgelIo6w-WA3inbyMcYI4w,162
skfd/builder_v2/builder.py,sha256=r82MBgqplNUEMPSTePBy-QyVCvU3y6LoQUiEDT9xw1A,17653
skfd/core/__init__.py,sha256=NJN6IkLykR_Te5xTZlE6vq6VHiV_kdLZFmmqjmcOK-4,24
skfd/core/context.py,sha256=qBuL5fG07PiDmuWJmhukRhLcZ5g0Tl26cW7uskgFmlk,308
skfd/core/contracts.py,sha256=wNnSxTzFBIGuFOlgrHziH8LMkyn_rgwmiPlJYh2Y2EA,1200
skfd/core/diag.py,sha256=LgU1MPar3tStS3Gth8bvH7MevVLpuBMmR6LPfUhiosk,1599
skfd/core/disjoint.py,sha256=SSbeITcqQewBwL24iOu6lt4CZ3fuJIib_px8c6UL_WM,2164
skfd/core/errors.py,sha256=FVxQbSRswd4d2tAD8ce7YkEQQbNOS1WFsCN8I-Z5nA0,262
skfd/core/lir.py,sha256=-jl65ykDxsHTTCq2ZjVSTWCs5oGuRbIspC9rMmeMGrw,1686
skfd/core/origin.py,sha256=hqhIR0t80mK5iY_qus8TM0-C1DpDY__jpP2lsLLutXA,1512
skfd/core/peg.py,sha256=mtmB_9626O4JY81GnUGWGimAOjMWWcteJ0qpiorp5s4,3531
skfd/core/source_map.py,sha256=1ZZ1JSh-ydi7gyqrDj4AtXUj5FssAeriplFRtLru_q4,710
skfd/core/symbols.py,sha256=adgNntD6yj02brXSslda2RVlPYmnm2hqAiAmRPmBbxs,2098
skfd/core/unit.py,sha256=YtrTDpOlR-SawDocKD47qwIlg78tFYeQuTcoL0gLOc4,559
skfd/doctor/alignment.py,sha256=pm7tljVU3zbMei9jTcLye6VVS6K0pTriKXTjKtxxE7w,13830
skfd/doctor/check.py,sha256=4UUkO9SQ2Nca1blQxnZzl-4BimJksHgRV7pGPVZJlI4,951
skfd/doctor/sanity_ir.py,sha256=OZOYtpRIE6SvtwbznfD4LxHsS0bWbLteL73y88vIPKE,1958
skfd/doctor/slice.py,sha256=78b_F7W5NDNaTgkTNO0O-MZ54rkYPjEROasp0XOyqz4,9621
skfd/driver/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
skfd/driver/discover.py,sha256=ya_egdk5fqsdrcyghZ9cpTvdqe5lk93-8a167ytJunU,6164
skfd/driver/graph.py,sha256=vArQEi1onC2JDQc-G_Zn2YQKRs-kVfKGA6icovbe2f8,476
skfd/driver/runner.py,sha256=PrD6yMxblknS9EquLfA137ilFfO6kxVD3ZZQhKiC3No,13926
skfd/driver/script_runner.py,sha256=QVYKINQeg8Wh7KJuqcrgfM8Uj9PILdgoD4YEIu9pSjQ,10170
skfd/driver/types.py,sha256=qFaHm4Zng_uDyCNNoLjC7qnY_9PqOTvaQmxI72Dl1sc,792
skfd/examples/__init__.py,sha256=PHh4jqD7i0aL8W8hXThczKcT4xsNZiXanBxOH5IOW5I,36
skfd/examples/minimal_diag.py,sha256=00_KTMQ33Kfg7hPDonX9rv2zHWHprl9T1KXsPKXVDYE,1075
skfd/examples/minimal_ok.py,sha256=B3sseQ_FDKTTRPvRi1wAcR7Qs3QwX7FqiuZsZkQnMpc,1233
skfd/linker/__init__.py,sha256=SYgQq_but0S1nOkVdxcgugpC6MBBF7e9LaviODLlU9Q,206
skfd/linker/api.py,sha256=yI7If3uWpMcH-ITxMtLniJq3s26qIBDi97si0cROGr8,2787
skfd/linker/emit/emit_mm.py,sha256=6K0Z6NpvfpE1CrQNMyP6dod78j8wHSK7R760-iOgbhM,3534
skfd/linker/passes/stage1_resolve.py,sha256=lD2yNVUVyVgifl8mDh8rnd3eEMmVcFmiC08ZVUkX18Q,10690
skfd/linker/passes/stage2_contracts.py,sha256=E_pVFp9p2bvqqScZuKx8ZEiWyWrXYj1HzkMcznLinmk,3917
skfd/linker/passes/stage3_disjoint.py,sha256=uf5HDXhPigv68PXVYVV_1Rn3xsENli_-ATemkPfFZgY,4047
skfd/linker/passes/stage4_topo_sort.py,sha256=j19e-tPQcsPzLfpvhkC4Ea-4jtcMi1ohK86JeHF_3ws,3835
skfd/linker/passes/stage5_scope.py,sha256=RTfVh9zt02fLoFHXvQyCbEEcv2TChkVkkmDiBzm7_Vo,4002
skfd/linker/passes/stage6_relocation.py,sha256=8CNQc8sCLJT0U_UtP2jZQMgcv9Pu_4rBq0NNYMQI2CI,990
skfd/names/__init__.py,sha256=AbTKVq5oHy-rtp_NCRCJA4RN5Tp45FQQuYyc4-Xn36s,234
skfd/names/lexicon.py,sha256=CtZ91kN0zBBmKvfxe3P4HcqoWJ8Nqst1JPqF8ofF2vw,4820
skfd/names/resolver.py,sha256=iZNcNmlW6W5ADJUK0czmX2nqFygKWdXAt0meq-bJqPI,2961
skfd/proof/__init__.py,sha256=IVxg2UUqCu_tNfXbL6bbBg0xkXzcfuWFn3b9Cd0i78s,1203
skfd/proof/core.py,sha256=VsLQoAKiFzk1JMDZUhutZRsrQbBeJ4TgCAfIYWUOsqY,790
skfd/proof/coverage.py,sha256=msQSvlALrOj1vHBd3H3ytqEBNfrQ492bfIqGVGaazgQ,5124
skfd/proof/ir.py,sha256=z_QAy5y7qyUesSbJ0ZNqfNjkGdcwHHTeACfGto9gVxs,7515
skfd/proof/signature.py,sha256=F6T_v7bq8_o8hMzWeF4kFtDrhJ3O9Kjvty2jivpiTIo,5005
skfd/proof/unify.py,sha256=zItgnux-XZcVNPVTsY3gxNIXQLAzz3JMMVq_bcO1tEs,22022
skfd/proof/validate.py,sha256=vmYMfcEgSjV2iemNtujvQ-Evq660fquSbLLkG9zvxRc,8023
skfd/verifier/__init__.py,sha256=oojSkEYFxC9MbwK4bv7ifP9zZglg9UoWk9Ksjs5JwQs,5176
skfd/verifier/aggregate.py,sha256=ptV2jzpzuDaPkviRy61OYyXrJyVVA1NHuQl6pqvWNOw,1457
skfd/verifier/mmverify.py,sha256=1TnfRdjweyqLQ2-5J0FOkdTJzjJtAcVHkdzHqK8k1xs,14082
skfd/verifier/shims/metamath.py,sha256=I1CjnSahg3AuWZ2jFYUM02La-b5l3s1vEvkSZlWtKUI,3552
skfd/web/__init__.py,sha256=PHh4jqD7i0aL8W8hXThczKcT4xsNZiXanBxOH5IOW5I,36
skfd/web/theorem_browser.py,sha256=tSNxyYhmugWg9055c5q9OYX5cdxhYNDARcuPWTovbAo,23152
proof_scaffold-0.0.12.dist-info/METADATA,sha256=nunCHprFmtJl6JRx6NPce7E25YKPMtash9uuCG9u2KU,9272
proof_scaffold-0.0.12.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
proof_scaffold-0.0.12.dist-info/entry_points.txt,sha256=ONohE4XEXzq2kwOMlFhOzfBtdzUaFVjz7Rm4kzcPlZE,39
proof_scaffold-0.0.12.dist-info/top_level.txt,sha256=4NdXTuELTkRSFvKfkpaff3QTzj9axy50I4XWsDYRn4s,5
proof_scaffold-0.0.12.dist-info/RECORD,,
