mathesis/_utils.py,sha256=DBHAc48C7aXtnYvakKxGh9m4wYbysDTqJNCIyMqDHZc,146
mathesis/deduction/hilbert/axioms.py,sha256=bx7fG-JCVOCWeXwyQdJEwRB2j_EtP4JGO4bDW-5iIxM,3045
mathesis/deduction/hilbert/hilbert.py,sha256=5niNopZ_V-QR4VdyuUza3dJqyHTFvPcPLtBqTJBYN7E,3341
mathesis/deduction/hilbert/rules.py,sha256=RAJUHDoUzPAQnqtSpkukzBCAsQO4k_oFaRUnDnWLGBc,1674
mathesis/deduction/natural_deduction/__init__.py,sha256=AbLtbV3fnEb9cOsByK2vXya2iJqgdl-iK08VVMSryV8,82
mathesis/deduction/natural_deduction/natural_deduction.py,sha256=5CoaOexqJC_umj89Y0CfcMNrqdoD8Ox9EAtEHXzk9Hc,4610
mathesis/deduction/natural_deduction/rules.py,sha256=dXdlreofuxoU93fdQCc4Egxb3AIyIls2yq_dD9_Dy_I,15540
mathesis/deduction/sequent_calculus/__init__.py,sha256=Aq_8GBHsmrZUhv9b0SFdUG1Rmhun9O2SDEiPkDefrZM,266
mathesis/deduction/sequent_calculus/rules.py,sha256=RQpo_DmiAZhI6UzVbaHJyqt7P_Qi_yRCv7Bc1_Hs2Uw,7923
mathesis/deduction/sequent_calculus/sequent.py,sha256=4nAxdIUrlvjrGZNfj7_RXyt4w8R2vrvf4vLaV6eQydc,3083
mathesis/deduction/sequent_calculus/sequent_tree.py,sha256=Ir_j6EmJ5DPKhj_MtEacAYC6blTPYXEgWdO3dKZLIaI,2809
mathesis/deduction/tableau/__init__.py,sha256=uM9BkhJeA8M-6q0ipSO3Go6_gZCvZNtylh3QdcZ2r0s,49
mathesis/deduction/tableau/rules.py,sha256=83wT_aN28_x74lU-cRvH7n0zIJEatJnkBrasV_suetM,6371
mathesis/deduction/tableau/signed_rules.py,sha256=w7ClPfenthp5QhW8EYYjTJMzRmtvpYVSu5_HCudJu48,6025
mathesis/deduction/tableau/tableau.py,sha256=__nYd_0q3sh8M4VUWGNgpyd0-BiLz9fElaL7qvGVuYk,5134
mathesis/forms.py,sha256=wzAJOabmknddZxWwKus10Ippx3Z_myHoUbqxufdCTm4,6408
mathesis/grammars.py,sha256=Q0dWGpMX5lanEoRy-fpb_ALSHUHQ9-tOkmoPZ0bXNjQ,3492
mathesis/semantics/model.py,sha256=PB-T7UN1lqOcWFQk_We350AC9bqjoBFG0K1vwdSgMbE,7839
mathesis/semantics/truth_table/__init__.py,sha256=YJWbbrJCz7Q-fqkUaggIwxf85sQegFrGsD9jUh4f8lo,241
mathesis/semantics/truth_table/base.py,sha256=ZsYfpwuznHuj9f-aerEBrNEr3D0qyvvjjisIXgD2z7g,14734
mathesis/semantics/truth_table/classical.py,sha256=8olZ4amqqHWysZxDdk9u0rRQQTe800C4Bjrt0C_yyJc,1238
mathesis/semantics/truth_table/k3.py,sha256=OXZwnyCrD356x4Zv-EPazTP9Pope7DomFr31gEleEvc,1614
mathesis/semantics/truth_table/lp.py,sha256=qWrOeWZA0gftJY8DkE434hpeMJ5ilRxfCkH9edpys-A,1555
mathesis/solvers.py,sha256=92Pw98UhtH7VRgKIRLAN4Yrr9tvOS-f8wpaGKM6C21c,2759
mathesis/system/classical/__init__.py,sha256=YBK-d9ruHS2ZNInxlW7LKGAPnekANnXepnHF5yGfty8,77
mathesis/system/classical/truth_table.py,sha256=5AmspJx8GOaGRjcdknRr1CRlIfYEqH8oRXhrB12KA1M,171
mathesis/system/intuitionistic/__init__.py,sha256=lfKd8rJOxMixbhBczh9E9t_LAW4Fp3IgQ9E5RN2BZzw,92
mathesis/system/intuitionistic/sequent_calculus/__init__.py,sha256=re0xb9wT0IsahKg1qSZxvylcW9TBtglENxkLOO0TF1A,60
mathesis/system/intuitionistic/sequent_calculus/rules.py,sha256=k5dwjoPdhKcYml7sTYO40QAF54tymBP_-1_RxLcSYGI,3291
mathesis/truth_values/__init__.py,sha256=SlueA5LnIMfTUCwH71Fo-qIh02r_-qq41i-U4-_iORg,122
mathesis/truth_values/boolean.py,sha256=okzgl6kVb-lG5nEbfNko8Gwy4036-0huKMjL-KqcUTg,85
mathesis/truth_values/numeric.py,sha256=nQtA0FN6PZwM2t7XKwt7ePTU62z3qaGOpLCpZUWTInI,248
mathesis-0.5.3.dist-info/LICENSE.md,sha256=-DPReS06iqxwDLZKwssbVVePnOl3pNkxnr0HZ9LMn4Q,1070
mathesis-0.5.3.dist-info/METADATA,sha256=aeExUxRYZ6hjUnwWfRnREtRmsJt9kKP3dTaTwG8t9I4,3898
mathesis-0.5.3.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
mathesis-0.5.3.dist-info/RECORD,,
