logic_prover/__init__.py,sha256=WTslMAgWI94Abxd903MZKNrGUJWi3zYbYwZOe7mbxNA,852
logic_prover/__main__.py,sha256=baZOAkUljQ7AQE4AuSew58LHoKr0j_WC7cv5AlN77fU,20818
logic_prover/config.py,sha256=WycSUS1HpLdfDKCwrkWXw6gnhx4o4RnJblePuw42Xv0,3144
logic_prover/logging.py,sha256=elEpU6NGfq0WEdKin37CV1T5oWY-MgCW9YVb0MlJY44,4006
logic_prover/axioms/__init__.py,sha256=_tt8I9zCoKxLDhoTOsJwy59omwpmch59tV6VksyF3q0,8102
logic_prover/axioms/analysis.py,sha256=BTtMhgn1hoOCkAldzDYwDikyjAsGy-1rxp7-9WEmujM,9904
logic_prover/axioms/base.py,sha256=OcRBNLX8ZpO0f4yBu3aasA4UZM6sd34KtU6H-_Tstzw,8605
logic_prover/axioms/boolean_algebra.py,sha256=4oPMpWKBZ5Wp4PYWqlrpZSzkUO3LY_m3lBf79rUQqfc,7256
logic_prover/axioms/equality.py,sha256=xpLMDlrrSphzHxw6EOp3EcAR5V0ANE33iYkvnTpBIng,4502
logic_prover/axioms/functions.py,sha256=FuSrtu0SmKvoMbfWB4l99AO56RJ2NLUlR-MQmzgj7L0,5345
logic_prover/axioms/group_theory.py,sha256=JKeLTEQnU2jWvUFOVfFlf2HDOnzAS8CnsRLQlKPaYj0,5583
logic_prover/axioms/linear_algebra.py,sha256=Af8bGNcw5fz2pK3zvPbCURK2ITgZVQrPI_a8Us_O3po,8792
logic_prover/axioms/logic.py,sha256=F0PutK_uvBsdKg3k5gTqjSEiypOSUKDYy-TNpaWPEfU,3742
logic_prover/axioms/order_theory.py,sha256=DBMSLcnJ-GNGyaQxcw0iWxEFBvauhEkc6CSQQOpKaOI,8330
logic_prover/axioms/peano.py,sha256=djP5JbGKuLd6_EoLp09Z-jBCdapSiJ_i-PqFhJONRiM,4820
logic_prover/axioms/relations.py,sha256=gJ40Z7xGbggSLggbRJbTmybbq2R0uIz4lj7ca7Z_F08,4583
logic_prover/axioms/ring_theory.py,sha256=1BXsd6-e75TeFnRtWRF052P26X2opwSRkhtr0W0hZgs,7338
logic_prover/axioms/zfc.py,sha256=w1dXrUuszHGVGgsk_w9mAd46oX_nK8mhkdBJEJao0hc,11959
logic_prover/constructive/__init__.py,sha256=x_S43XYKKEta0DdrTjhVsMI6iprMfWFy1RMMRsfYXus,2997
logic_prover/constructive/common.c,sha256=MBtP6tJTQGBXevlDXRDFeD1V6HPA9ZwDHIRRoU6XKts,455524
logic_prover/constructive/common.cp310-win_amd64.pyd,sha256=8fvMfMiFbwZI3O5M_9jM-34Mg4pGl5B_weMiKm3ZNQY,61440
logic_prover/constructive/common.py,sha256=cTbw6P-MTuA5fLHiNF-cBj3ubnTRFGQt4Kq0zxr4Ijk,5411
logic_prover/constructive/kripke.c,sha256=MepPh27vMlRRCdoADV5KjqKntrurSn0dyPYe9Z462Xg,826605
logic_prover/constructive/kripke.cp310-win_amd64.pyd,sha256=AdPBptFD21BcxKZ8GKJorJ0y6wBLX6UcIWE8UXadNVY,117760
logic_prover/constructive/kripke.py,sha256=FKWaAapEFxwfkPMBj04pfYwdxsvc3U41qpFcxNPoCgQ,13385
logic_prover/constructive/ljt.c,sha256=dzDtQxLnX2mb9hycCmqqywkMqxGD64kzBK_Bn5dFx-E,1139535
logic_prover/constructive/ljt.cp310-win_amd64.pyd,sha256=e8q378Bcfl60nAHp_ay0XGZoaAtxLxbYs8xxfE-4fmY,169472
logic_prover/constructive/ljt.py,sha256=Nyr0Jjd7N9EddlZtnQYmRdwC211Nfac_ldjN3HLPM0A,20736
logic_prover/constructive/matrix.c,sha256=2ZVuRsNaf44P3dB2EQPR7vJujl4CJ1yQzcv4kYEiZfs,877372
logic_prover/constructive/matrix.cp310-win_amd64.pyd,sha256=ooEu9UBtN7rgeT31qYt7iWS149T3G1N_y_0C4DIyZuo,130048
logic_prover/constructive/matrix.py,sha256=nyYEWQiR-WP4r0kynxq1xeDdrIaYKUE9LcSIcV-Ekhc,19647
logic_prover/constructive/prefix.c,sha256=qbpAwSkVUeRgAl2CRk8nny-teqNXrwwhcpkNysADpJk,1093551
logic_prover/constructive/prefix.cp310-win_amd64.pyd,sha256=d8CQc2znGZmxSnf6WkcUb7g8DgEl6P7ZLCm87Ettr8s,152576
logic_prover/constructive/prefix.py,sha256=PIcGf-K2nP28Puq05avZUOli_fVK2B7rSG80a4MLikQ,18467
logic_prover/constructive/resolution.c,sha256=umOomudOI05Z72LW_ACNlRqhSO95dqJfutQLMN4m6wo,1859454
logic_prover/constructive/resolution.cp310-win_amd64.pyd,sha256=EVc15XpaEZVX6oLQzP6Z0yCvzugx_jBOOB6zuP_sMio,309248
logic_prover/constructive/resolution.py,sha256=V7dh22w8QxD32yFL9v0o4iIfoGGZC6mMhFx0WGbeE5w,58520
logic_prover/constructive/tableau.c,sha256=aNPVsOU7_SuOGs0l2kuz5YSuOxLU6AHYbuppiXvr_I8,1646114
logic_prover/constructive/tableau.cp310-win_amd64.pyd,sha256=aUUZpP_zuBikfFwYh6g6VZ4VxwcChmumDhodY6XDXnM,251904
logic_prover/constructive/tableau.py,sha256=aDZI79yTtGIefIlkaPO0gEGbZnLY0dbqZNpvcysvmaU,47957
logic_prover/constructive/wallen.c,sha256=unm-MBFX0rnRzrKHSjKyeMYf86_JRpN6KxcYqS91H7U,763553
logic_prover/constructive/wallen.cp310-win_amd64.pyd,sha256=nviMnX3oGW3T4eRwsG0i3DMXAhcuFgpW3_QnP-yIvfc,108032
logic_prover/constructive/wallen.py,sha256=6NSTd5DIi0wZTwrXEyc1-ib-unR_tY5pDaXaNQaX-9s,13184
logic_prover/core/__init__.py,sha256=gM-0VyM0uU9LGB23KSc5bF5JePJ3hjgJ8gvjwOtYRgA,79
logic_prover/core/ast.c,sha256=tvXCCni5ZW2l0ANN_2y_ZJ-4Ao5fDed_UdkrQrRbjL4,1230084
logic_prover/core/ast.cp310-win_amd64.pyd,sha256=bKH_2zzyswnCnWcJfeMNE5ROlA6s47ffAGIAu1ZXSDI,194048
logic_prover/core/ast.py,sha256=xqAoHB-TEswqzPSqCbdPFEKJjGkLVR2XB-Sc7n2NBo4,17772
logic_prover/core/database.py,sha256=2LtPoy_XPiWRsNu5t94nql_47nO4IIUa10JrgL9DIv8,32287
logic_prover/core/equality.py,sha256=gliP4RWkGYXyCOzdUqRO8fpUn_bov6FpvAfi-GDOdEM,11932
logic_prover/core/exceptions.py,sha256=Uv3pEEC5e9KiKWuMOTgrDDBpYrqCPJhuBqHTnKh9GQI,2426
logic_prover/core/parser.py,sha256=PelCuu0t6GFh68vDrRrWnDBmOfgnjHnMAjkiA7s6xXw,25678
logic_prover/core/rewriter.py,sha256=AMHbvDaUOykXPWVspExqNkuFlnkIVKGJkjm0zpJ9v2Q,10104
logic_prover/core/signature.py,sha256=zjC9KP2eRLrQslaFT3Hk3yrABi-maGUnEwMaV5WS8hA,10732
logic_prover/core/sorts.py,sha256=z0t6fZCYP317q8p6QGudNBKm8tFhKmsJXrD1Tv9qETk,6752
logic_prover/core/substitutions.c,sha256=No2sMZ_HHJ4uCpmC5jJ9n0actiHT0JquzllB_Fv_Kb4,979848
logic_prover/core/substitutions.cp310-win_amd64.pyd,sha256=k4M-ywPrX8EsCeBGFPQDaFrenCMAADgsnFIS2VpzzfY,151552
logic_prover/core/substitutions.py,sha256=3c34iLpsODSyCb0jutRSxk6wlieOb2mtxs_vezo6e7M,16398
logic_prover/core/validator.py,sha256=g_FdCMf8E01ZHKcnh6qeSSc6coNh034Clv_IiLO2aI8,11959
logic_prover/core/visitors.c,sha256=2pYuwYA3fx2mM3bQrIn3NSXOcys9ej9OESqYH3YNHgM,2227863
logic_prover/core/visitors.cp310-win_amd64.pyd,sha256=J51bSA4TGpvEFGkjtNJSSgS4KhBCP2pELsyfENFUZ-o,339968
logic_prover/core/visitors.py,sha256=wNtcGAVCkGWomzFZGMlglu9ww91-9N0ON_Tcft7Vsz8,43718
logic_prover/deducer/__init__.py,sha256=vXdXplDkYq5twjMIPM5Fa0K_rRew7YfVQNHzX9KDsZM,509
logic_prover/deducer/analyzer.py,sha256=XPgTthsHLOXNXXnfcWSfL8WqVNY4Nm9nhFwlmpdx65o,9002
logic_prover/deducer/graph.py,sha256=QE-orA36BVR8gd3AI00EdwaQJRa5o3Dx6T5bYl9T2y4,9293
logic_prover/explorer/__init__.py,sha256=YkU1kDOf7l_EVi8uT9H7sgwC-v6uEEtDVSZKSDW2vQ8,796
logic_prover/explorer/filter.py,sha256=wThsikFg9gy7umVirEYWvFPJbs1ritt5FMxwLxc8foI,4777
logic_prover/explorer/generator.py,sha256=rTij6FbjWIi1ikrHzTGJ0QGs25PyUxJQrfCzbXfpb2E,20801
logic_prover/explorer/heuristics.py,sha256=HRj-e0layVSHKIzFJpdt5A3JssVQZ_RSMWRaC9v6PkQ,14437
logic_prover/exporters/__init__.py,sha256=rRVatClBdNyvLf8ZZgHhqBNnjbHOysXMBR1Y6GeMhco,272
logic_prover/exporters/graph_exporter.py,sha256=qNr7lXMjZ55da1ZPVxCjC2_JIY5OB0LOtwNqfY5czDE,10565
logic_prover/exporters/lean_exporter.py,sha256=BfScGOD627jaCfeBhbmlGzrHdtoK9zdiVxYmq1-o3DE,16028
logic_prover/prover/__init__.py,sha256=yDHADQ3wfy6tlybbBMEGnfIuQUQsBxIaC7DlEpZpWBk,856
logic_prover/prover/clausifier.c,sha256=C2-J-n9fwB_ClELNuOLelpIrg1rPvvXGUpaGL9Liqlo,1220786
logic_prover/prover/clausifier.cp310-win_amd64.pyd,sha256=beQX_rm2uwY-kE-KJxIl0V7xt1AnezzHq9C21W2t_DA,210944
logic_prover/prover/clausifier.py,sha256=wCzknQLdvG-sZxkXv1guKgLoVBM5k05zurszJ4cpJRc,20509
logic_prover/prover/engine.c,sha256=oAexKl7R8cNCMi53t_70aMlHeAjA6LoIO_2FNGjeFpU,945430
logic_prover/prover/engine.cp310-win_amd64.pyd,sha256=z8oJgZj28cI8DMxSK10P3_3k2PrA_8fbSdeBgdX1hFY,136192
logic_prover/prover/engine.py,sha256=4ODiyZx7MmtW73ZlkHJTcH41zgkI7XZ_5sV2oZazacI,15547
logic_prover/prover/proof.py,sha256=2WPy4OmpV2u_A0n5MIp0jMFlsSPu7KIGEygpGVe03V0,11576
logic_prover/prover/reconstruction.py,sha256=0boLUBoXplSvL8fvgszpJ2HikG77eW5V0ZelAVDYZ3I,6966
logic_prover/prover/rules.c,sha256=8OO4E_MvYYmaMevyGcHBZiZT0bKKxDjwXlvuSIujizc,903681
logic_prover/prover/rules.cp310-win_amd64.pyd,sha256=0q69AMnXg_3pWGjuZxfRiDirotxRa6mx45oleUz-zKo,135680
logic_prover/prover/rules.py,sha256=Zxz0yeiiVjidVNw3-IpXJ6zlw6s4GTS4PBQO5WMJLkw,15453
logic_prover/sol/__init__.py,sha256=Evt73LzG6M1gxWR1X7O2r9T4gZoFBVRVuT-1M6GrdhQ,2180
logic_prover/sol/ast_ext.py,sha256=9ZydkSyVuxItqjBSFh-yS00Mbhoj2Sqpi-2W8KQCYv0,8249
logic_prover/sol/kb_ext.py,sha256=4cn68w7m3QUO5wL1AtaRpRdFm7CsAw9S0MdN1OMVKjs,5848
logic_prover/sol/substitutions_ext.py,sha256=Xh4KRvXKfagTiCsfrRF9PSrBRia791Q3aX6LY8vJ1_0,21631
logic_prover-0.2.0.dist-info/licenses/LICENSE,sha256=nUoiMPIxXilqrn-6rbrbpYGeU96C55HWX7RW6sfLgME,13911
logic_prover-0.2.0.dist-info/METADATA,sha256=fqTeTC-to8reO0Uz0lGqWlcLnHFQjZu_Ry635BXnbNc,24358
logic_prover-0.2.0.dist-info/WHEEL,sha256=ajJeDK_8EW1oVlCHPkvVUTwD79nmX1qcdcBLYGUFyLk,101
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/RECORD,,
