mathesis/_utils.py,sha256=DBHAc48C7aXtnYvakKxGh9m4wYbysDTqJNCIyMqDHZc,146
mathesis/deduction/hilbert/axioms.py,sha256=v5x4veW4Zwqjm4nbi6t1rbJWi8WfBRBnRvRSGhQu5rg,2384
mathesis/deduction/hilbert/hilbert.py,sha256=zHqNJiC7ads5JF22ToRThsSeQwCOqMpS2w-qUIjhGU0,3480
mathesis/deduction/hilbert/rules.py,sha256=fEZ7Ko7aRQBTrWhNLfzruBsyIwo59FDOjOP_MLFDcIs,780
mathesis/deduction/natural_deduction/__init__.py,sha256=Z3Gn9m4uimwzssAS-ouBk3KKxi07X57eGH-2-Hj0wiI,74
mathesis/deduction/natural_deduction/natural_deduction.py,sha256=5fI5Vchz-l5ynEyOLAdvJg4jTLp9nrOC6daEHMz4oZQ,641
mathesis/deduction/natural_deduction/rules.py,sha256=9_XTmc2xsGe19b23ykE1CL5OfxZD0Mis3h5jQdyitVk,4661
mathesis/deduction/sequent_calculus/__init__.py,sha256=XeHEqGo4DjCk7P3FRXvr_ZIFjAQ95b-rDYkXg8dLphs,113
mathesis/deduction/sequent_calculus/rules.py,sha256=WrLA14bUTD1OXyDvXVjCfiwB8tyrrMOfpakSe2yKnvA,1587
mathesis/deduction/sequent_calculus/sequents.py,sha256=aiJdVhfJQq1wH_IQ4DYLgIV47i9fbfTL3h3p_qAkDnk,4547
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=JljuR5dRjkA1EhkhMRjq3sTMxgpC0Wcs2MYP8URMSvE,5134
mathesis/forms.py,sha256=U2Ot3QRQTaUlsjjai9Ako2VqmzZ3CwfxjZZsgbb9OPE,6134
mathesis/grammars.py,sha256=nrvtcD2h9WjO6xX-fYQThBxROV_4_OYVPNFT_e-j37k,2921
mathesis/semantics/model.py,sha256=jHcLVKnjEQs-TKx2Y9UcdvIUiZ-02vbtaZ5V-vaPKYc,7580
mathesis/semantics/truth_table/__init__.py,sha256=YJWbbrJCz7Q-fqkUaggIwxf85sQegFrGsD9jUh4f8lo,241
mathesis/semantics/truth_table/base.py,sha256=YRiuLuLGPHDYQuXntqR0KOIm5vs29EooybZo1U8pFWs,8070
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=6QM_ruet5UrnPCtslRXTEn6hhEyXVLpNm4L-QTsGd9c,2829
mathesis/system/classical/__init__.py,sha256=1ZQPLVm075U2VeCfZXPH2EnjnEFfNDS8txfpgqbWjbU,50
mathesis/system/classical/truth_table.py,sha256=5AmspJx8GOaGRjcdknRr1CRlIfYEqH8oRXhrB12KA1M,171
mathesis/system/intuitionistic/__init__.py,sha256=eUI-d9NXBYzG5_ms00fvAoy0iNuqrTwFxh5rfw3iFco,60
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.4.1.dist-info/LICENSE.md,sha256=-DPReS06iqxwDLZKwssbVVePnOl3pNkxnr0HZ9LMn4Q,1070
mathesis-0.4.1.dist-info/METADATA,sha256=rqjNrDq1H0cU9c6oeT1erlFeVJRDcdlH0rQaCbgw4Po,3649
mathesis-0.4.1.dist-info/WHEEL,sha256=d2fvjOD7sXsVzChCqf0Ty0JbHKBaLYwDbGQDwQTnJ50,88
mathesis-0.4.1.dist-info/RECORD,,
