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=8TZMJC0nTMC-OIIwmgx--FODXEcGc5O11WM6-e-1MKQ,1617
mathesis/deduction/natural_deduction/__init__.py,sha256=2Gj2zKynOXP56L39itQdgNg_qLWo310ETfgpE0ONbMY,160
mathesis/deduction/natural_deduction/natural_deduction.py,sha256=_LT3lFZKzqHTOZITVcO93Z948OReevdolPiO9H0y5Pg,5252
mathesis/deduction/natural_deduction/rules.py,sha256=MM_zw3kUMKZYMj4EhE2MYhmzfzbXKgsqMKpiZbPAhkU,24035
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=JXj5K7Ak5aWfE7vVjdcouXYHrTVe2dhFTiD48ia5Oz8,7872
mathesis/grammars.py,sha256=ILUHISbKattQdKwLHrqKEYDAaDnxFgEX488tx7SHcv0,3356
mathesis/semantics/model.py,sha256=OLCC2yhVgUlXXkI7nWQWnz_adL-qVa9YjQ9iOJKUsBU,7928
mathesis/semantics/truth_table/__init__.py,sha256=8iSgyPOGVp1mfGZ4Dyp-wJzxWy5YzVyixr4huFm6Ky4,361
mathesis/semantics/truth_table/base.py,sha256=UEjqAZhtcoLYsGfYWG0ZDAgt2W38nEZUClVxIPzQKKY,14950
mathesis/semantics/truth_table/classical.py,sha256=8olZ4amqqHWysZxDdk9u0rRQQTe800C4Bjrt0C_yyJc,1238
mathesis/semantics/truth_table/fde.py,sha256=XYSju6VXmWcp5oDkq2iAW12TDSlezDCPnl_t7C6mDV8,2062
mathesis/semantics/truth_table/k3.py,sha256=OXZwnyCrD356x4Zv-EPazTP9Pope7DomFr31gEleEvc,1614
mathesis/semantics/truth_table/l3.py,sha256=PrHD5oUg8p3FNZRHxQpo_PW-AP-ai-4hAmPlvFlvPo4,930
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.7.1.dist-info/METADATA,sha256=Fya59tIX_Cp-r3suE_tfm3HZU1qne4TuMBUjXwfAwAc,4183
mathesis-0.7.1.dist-info/WHEEL,sha256=M5asmiAlL6HEcOq52Yi5mmk9KmTVjY2RDPtO4p9DMrc,88
mathesis-0.7.1.dist-info/licenses/LICENSE.md,sha256=-DPReS06iqxwDLZKwssbVVePnOl3pNkxnr0HZ9LMn4Q,1070
mathesis-0.7.1.dist-info/RECORD,,
