logic_prover-0.2.0.dist-info/RECORD,,
logic_prover-0.2.0.dist-info/WHEEL,sha256=W9vNsxHtuPjBar6tWy08iHBg_jNK-VgyOpoyoNPwHv0,136
logic_prover-0.2.0.dist-info/entry_points.txt,sha256=Ss4rOby6J7pTE2-P5MC7UgBHttbspVElILgnJvyFMYs,137
logic_prover-0.2.0.dist-info/top_level.txt,sha256=Bih3Mqt6fiTJs9csqb1vtJINMikE0M7cDe0e73DvCuQ,13
logic_prover-0.2.0.dist-info/METADATA,sha256=ddb0VOj-4txbB7vF3P4PmfdxfhNdO8pjMkvmyuEO-PI,24017
logic_prover-0.2.0.dist-info/licenses/LICENSE,sha256=pMVomIhZUzTdcn2WGghAsGB82NquKgfwqT1ZfL-viZY,13810
logic_prover/logging.py,sha256=r-yws29BJz-iPAlY5ovkmas2YhoPTrcDiDyIClo6YYU,3894
logic_prover/config.py,sha256=WfirFRTNK0UVztPr8LpemygV3-OqZgNmRzksxI33HVA,3054
logic_prover/__init__.py,sha256=PHc_s6QhnO73UPQS72PWGDAg7-Pc1fpkfGKjCJV3Tpk,820
logic_prover/__main__.py,sha256=PK8nG77OrNfrEN2CqcSvhdjzBIszbO8OmbovIdxDf_Q,20330
logic_prover/axioms/linear_algebra.py,sha256=FyqEKn5hZh1uY8f-i0uLTc4MqrPp5xF1g2NTkTbej0k,8596
logic_prover/axioms/functions.py,sha256=kYlXgQtyOdbZ1QuNanDBspHoWbLHy2IBmXqDIkJMwLU,5197
logic_prover/axioms/zfc.py,sha256=T_nDIyYhu7WpB2SSyN_UcdvZjGFoEg1oQp3Hl_8GuRg,11622
logic_prover/axioms/analysis.py,sha256=GvnRE_QtglpoAMTsRRRozGHn8tX9czjv67IA4eAV4qc,9673
logic_prover/axioms/peano.py,sha256=UjY9JLke8atzFW2h4lGCZthLP970P19LzzOHStiZgik,4699
logic_prover/axioms/relations.py,sha256=wTJvtEm4bneyEtRhpg8a0fs4wl2tayc8rRom1CFJqew,4448
logic_prover/axioms/__init__.py,sha256=8_bVSuO0oApOSoDobexmywDY0vsX4HvK2q7duW9Olx0,7828
logic_prover/axioms/boolean_algebra.py,sha256=FJgdDxp9yehbmVGkMLIaDqNYMfPUX1lvy6yNFLkj48U,7084
logic_prover/axioms/logic.py,sha256=HgUkuEI2A4XOgVYOqZ3PmYLZfDGUfZ4ePQDDwRxaisk,3635
logic_prover/axioms/group_theory.py,sha256=U61-qjX_I0swH-pet-91BFKO2_VeyV51OcpdX1Dm_fA,5413
logic_prover/axioms/equality.py,sha256=m_TPEo-CkEj4OqP1wgzlluCsbNDl5quVzvKqR2vVTss,4370
logic_prover/axioms/order_theory.py,sha256=wo3h4l7OV0EpIYmJIOK7G4obJYz2DpWh-SnD8xHxdGw,8080
logic_prover/axioms/ring_theory.py,sha256=_l7g_RMf4Fagb9Xj3dWs83UGxzzb7hKh6Vp0T87Dl9s,7138
logic_prover/axioms/base.py,sha256=w_0DWeKZA8u7YHjV2V9l-AJESF705dBZ3u3JM8Ovc1k,8367
logic_prover/core/validator.py,sha256=-MPC5K5Npsux37rbsroScd47AyP_i63NmoJtgLEnqsE,11684
logic_prover/core/ast.c,sha256=8ait6pk_eToLEV_x66iKCfCxGxxCFeAdxH8L76DvXzQ,1203764
logic_prover/core/visitors.cpython-313-darwin.so,sha256=5JDPPQb7kpOhSbWKxwdvij3QKUWlZxqioXSDVDPbqtQ,585712
logic_prover/core/substitutions.cpython-313-darwin.so,sha256=Mh6eNO60bVlRufQWsbQ24y8OU8FBVvpzOV54hS9FjA4,263728
logic_prover/core/rewriter.py,sha256=nln6BD3LQT7x-JFSACy5Znkcsl4qa4kDbecOwXlIuIg,9831
logic_prover/core/visitors.c,sha256=U6awVMBF6hP-ugGny9CUEKVGCXil1C0bD1_kMhinV6I,2182005
logic_prover/core/visitors.py,sha256=l8tabyMB3aHgO8HpI4v2RyagyGJooRRix0mnZK4R_kk,42301
logic_prover/core/database.py,sha256=wO3C641UqRoG4flhnP3VKDPV-pADgYvdkyfNCJl7UHI,31470
logic_prover/core/substitutions.c,sha256=NiYqgeRrJNWsaQegNh9lV3dBgki6hGnwRWQFvhEiVw4,958303
logic_prover/core/__init__.py,sha256=tOFh99NM_B4NGoH-YjTDlWiRlDyWAO8mANISQxWhgqk,78
logic_prover/core/substitutions.py,sha256=yPb_3ofX479sSDOFv2GvTEYzV2XxWC9nKwfYoKux2Y4,15926
logic_prover/core/equality.py,sha256=lD_vjAMwBSIarjFf0yLjonHD5Eu-ZdlHS6ztH-8sNkk,11608
logic_prover/core/parser.py,sha256=R29OQk4e1SsXM_8C5SQC-oXmIoKF0qSpqqVXM1tispA,25014
logic_prover/core/ast.cpython-313-darwin.so,sha256=dZf7msBwJepD2xAD7NzZmkVYAHBuI9vV67UVG7Vp_pM,299944
logic_prover/core/ast.py,sha256=y807imFjrg0F6B0Y30iTz3O7hDMD5WN_pMCwYxIUhvU,17300
logic_prover/core/exceptions.py,sha256=W7Xv9JZTUYpGlMqGQbh-UVX4mGW_PdSUY-JnQAOiBl0,2337
logic_prover/core/signature.py,sha256=5f0qjUS1GdptrAErH9pvWIICEN3KzvVUR1aOkyiQzfs,10453
logic_prover/core/sorts.py,sha256=xI1oYjib4fzyerPD4kDxM8cNNJrz4Qx_YY8hRtl76zI,6555
logic_prover/exporters/__init__.py,sha256=ESLasVuyrmr-gymc-pBEONCuWYhZa1ZxJSpnWAT-gEw,266
logic_prover/exporters/graph_exporter.py,sha256=hK5RftaqJMV57TKVd6diWRUIxSX-J_WGsmmiqyQOx0k,10267
logic_prover/exporters/lean_exporter.py,sha256=1-klBGkJszFGi9_zxG9AGnNBK3hxubxoDv2Vr5qw_uU,15670
logic_prover/sol/substitutions_ext.py,sha256=rMms346r5FKNWgyqJL2atgt6jh1nRcfErO2nPDCluHE,21126
logic_prover/sol/__init__.py,sha256=5SF26Qgm-yQkutffHmj5rFtupRMd3-_vjgGxmO4_ua4,2114
logic_prover/sol/ast_ext.py,sha256=tHzsARIVl0U9V4jkcnXpKKmPEzjuxswW1ELDq9x88rs,8031
logic_prover/sol/kb_ext.py,sha256=l2nTN9dCK5CG1dy4sDM6nkwJMnkZhu1JW23EKSbkHko,5684
logic_prover/explorer/heuristics.py,sha256=x0GSKtyPuto3v4gvHJEVceAznxHaaJ8AgK-KuMCyed4,13985
logic_prover/explorer/__init__.py,sha256=P23HlfJZBdFIeFGbmadW7ua0NgtHjJ99VsiXDnzaZaA,767
logic_prover/explorer/generator.py,sha256=Xnpn7SQ8SL1tN3XgAoV2XADwoCEBhOnWywiHDINupx8,20296
logic_prover/explorer/filter.py,sha256=U1gr_W2hHvouaFkNmf9TItYkT_Bc7Ss6Wj-pvk2tNcg,4646
logic_prover/prover/clausifier.cpython-313-darwin.so,sha256=XBPX3spdUxl-yV0HWpd9gM5spqoSRh8WMfU16t-3010,299680
logic_prover/prover/reconstruction.py,sha256=cQ-Ml_SBJoj5g8drbsQ7NlSaoB8uIwn72UlFzP0KhKI,6773
logic_prover/prover/engine.cpython-313-darwin.so,sha256=h3FKrq7XpZY47e1kJBNeWuVi9pAB4TJBO8x675DTveY,241600
logic_prover/prover/clausifier.py,sha256=feQW5fvI-doKVP9veRqoDGpirI4oQL-670rFGqK4LTE,19969
logic_prover/prover/rules.c,sha256=n-JyXanfPTO1-JEYnTFpt9Eh349l4cfCBhVQMFY2z5c,884368
logic_prover/prover/__init__.py,sha256=jraVKHsYJIUwjZ8H-B4bV151Ajh-9zRSArc_-yFyqO0,829
logic_prover/prover/rules.py,sha256=i8lAWxSDZ1NE4OThvVJDX9YUhEIY_h1Tqp8AsdL5OSo,15079
logic_prover/prover/engine.c,sha256=EhcwvU8czgRAFEKy1y8KtUD8y6d8eufltoQMgwniVHc,924638
logic_prover/prover/engine.py,sha256=RT1RUW_rwx2wiGSROPOutlrrSVK4W8FzmEKJU218M5g,15188
logic_prover/prover/proof.py,sha256=W5kGn-5uPRvousm1eyjkogLVzL3XiG4ys2mJpPiMYmU,11255
logic_prover/prover/rules.cpython-313-darwin.so,sha256=o6xwAY2ZqVtmfZiKO5q_xWkx_B5QMwWwp4f0RxyhS4s,226056
logic_prover/prover/clausifier.c,sha256=HWwdia5kPdzFNMgWa94tfjxjCd56of2DkIQuDUCzYO0,1194682
logic_prover/deducer/graph.py,sha256=M7sHHT74VbM0sT2HRKCl4JLwzR5eFdgMVv0fUn0qGpY,9058
logic_prover/deducer/analyzer.py,sha256=Z6kw5e7Kf0QQ7dETRvrqr8wgRBENMMVf02FN0F7mPPk,8746
logic_prover/deducer/__init__.py,sha256=HAojz1HqCTlz2yeicyGE795cQiv27wqgmyVdpVP80EM,492
logic_prover/constructive/wallen.cpython-313-darwin.so,sha256=vfvFj_bcTvhuXsishqA4aC0Zcv4zmZYDDx3YIcYMsiA,195184
logic_prover/constructive/kripke.cpython-313-darwin.so,sha256=86NtLcxIMKXlePnRkv6e9LYtlomp40GdztQlM7IPKBo,197936
logic_prover/constructive/matrix.py,sha256=UGRisryDXWaBHXI7I95gXDgsRItXTjkS-sLcH-PRQrA,19117
logic_prover/constructive/prefix.py,sha256=VObfuPFUiLGQKAbd5mRNFLEPy2dDUsfwWgPUxjjLJo8,17947
logic_prover/constructive/common.c,sha256=9RmYEn7kZBKEkwCf33bjAxAs2Hw-KPQIVTrvqfCeqU8,445068
logic_prover/constructive/tableau.py,sha256=dFW3k-Z_s_LbwKQRSm4Z4yLTPAmvTOTEOVQacoszTV4,46786
logic_prover/constructive/wallen.py,sha256=qAoQqhZ-bNwzzwP3NXPphP2g20dB-hvm8KPUddgW8JM,12837
logic_prover/constructive/resolution.cpython-313-darwin.so,sha256=0rq30OGQ3io5Y0ZyhZL9RZadC8lW2XiwZBPNgQR8FLY,463536
logic_prover/constructive/prefix.c,sha256=62Jh9t9ViPpnZFR9X4LXWv4zvHUW5aQBv-_jYT0HFqw,1070001
logic_prover/constructive/prefix.cpython-313-darwin.so,sha256=h2F7gMo7C5mIObt1ygebk7JdkWXvjvLqSPWxs9rqg3U,273056
logic_prover/constructive/resolution.c,sha256=4DoEElOZHdM2r1CD5xLSgEhn0hZmHLhWOzG8ySfUiaQ,1822748
logic_prover/constructive/__init__.py,sha256=R30M9tVXb9okDnawNBZSbRU55poVgLNRTV0sOsrKn7Y,2864
logic_prover/constructive/ljt.py,sha256=bTG4RehJ_4C_pFpp4Y1-C9Cf_kFmtqgUbE5j64PcuCE,20198
logic_prover/constructive/tableau.cpython-313-darwin.so,sha256=pPey2U4ch5-P5MnMAy-D-rSOWbvHB8Q2ghQSfdcR5zc,425696
logic_prover/constructive/wallen.c,sha256=hnD62mhB00nohlRMaipMVNFoyg_YPpbg7uvZueIO_yw,746548
logic_prover/constructive/common.py,sha256=a3Od-gjoD589TqvoAniIgOWO4MLH1pfE7IE1ra0xPRs,5252
logic_prover/constructive/common.cpython-313-darwin.so,sha256=f6BZ2RgF3_b8JAtgnKl5w1uUyzyzX36eeri6TVsBvuM,122592
logic_prover/constructive/tableau.c,sha256=pi8Li6hcDgS-avs47XD9jJD7zEEcmcfcSiwUAwo-cn0,1613283
logic_prover/constructive/kripke.py,sha256=IqohsevnocAwj86nOz0F4NWZpuc433bcCN5U7AfZAMo,13022
logic_prover/constructive/ljt.cpython-313-darwin.so,sha256=AQTNMfJHT5qanskE70MJH9KvceNDla4y2xHiCwAnxZA,286056
logic_prover/constructive/ljt.c,sha256=-1R3OQgxlIXHNYHeSt4NneLy2IkrrjxOs41SIZRFIqs,1115509
logic_prover/constructive/resolution.py,sha256=Dbg9I4gMxRcejpYcUV7rUxDk4d_ktqQSdOdTVveCtng,57070
logic_prover/constructive/matrix.cpython-313-darwin.so,sha256=73HFVVg4NTJLiX3unfMMpYwEMlEFqvIEKUkpEfPxYKQ,233024
logic_prover/constructive/kripke.c,sha256=Q-4ltFhVZ1XD8YZAmkn_uSc-a2ABwNxOfyFUQPoEheU,808405
logic_prover/constructive/matrix.c,sha256=RyQs4Q3wrg4DGBaw8bZjK-KHifQ1cRlVOrOTBvM93FA,858397
