mathesis/_utils.py,sha256=DBHAc48C7aXtnYvakKxGh9m4wYbysDTqJNCIyMqDHZc,146
mathesis/deduction/natural_deduction/__init__.py,sha256=hHWGCTYT03NElfrRmszEwMF6cOtXSLQGSo56QJMaW8c,62
mathesis/deduction/natural_deduction/derivation.py,sha256=pl0qGGAgLHfgCX8XgBmz1RL2iffcBfhqtxrpLMW-lww,3141
mathesis/deduction/sequent_calculus/__init__.py,sha256=XeHEqGo4DjCk7P3FRXvr_ZIFjAQ95b-rDYkXg8dLphs,113
mathesis/deduction/sequent_calculus/rules.py,sha256=D_WvcCZ0qYgFUrT2lynI8nMVphvbKJY1vVosSDrmXl4,1294
mathesis/deduction/sequent_calculus/sequents.py,sha256=7XBHBTk6zZfE8c2PxlUmBrOIQtF-K2vXI1SR-f1n-iw,4611
mathesis/deduction/tableau/__init__.py,sha256=uM9BkhJeA8M-6q0ipSO3Go6_gZCvZNtylh3QdcZ2r0s,49
mathesis/deduction/tableau/rules.py,sha256=tJaTiiuhmiU13Vn1ZeIC4rWJDTDWWbuZfrYWe7aE0e4,5937
mathesis/deduction/tableau/signed_rules.py,sha256=BJewLAAOIUWf3_yz4EW68qi6qjK3KVaRU1vkEyw0p3w,4857
mathesis/deduction/tableau/tableau.py,sha256=hHYIopipBHjtV7k5oFPOfBLrgbplMKRDK4jmT6R7cRY,5127
mathesis/forms.py,sha256=BreqxmiNq47QTEWxG6FmtuJuKyLw2s_SmLMpq3DGBxI,5981
mathesis/grammars.py,sha256=nrvtcD2h9WjO6xX-fYQThBxROV_4_OYVPNFT_e-j37k,2921
mathesis/semantics/model.py,sha256=p874ogt-BkrgwI25CKfn2zI6nWVwj-N_-r1hLT8PFIU,4862
mathesis/semantics/truth_table/__init__.py,sha256=9eilvwbbFzlGziXL4VZME5TM9COI3I6kuChuKJ8P05o,123
mathesis/semantics/truth_table/base.py,sha256=DsCvUCl_5LLkzogZ1sNWU-82sgIg6mc12gZu7_sfDn0,6552
mathesis/semantics/truth_table/classical.py,sha256=PsUugPrdySfpsCYfkFGTbOhyxWJmhz_izfNMe2XEgKU,1281
mathesis/solvers.py,sha256=6QM_ruet5UrnPCtslRXTEn6hhEyXVLpNm4L-QTsGd9c,2829
mathesis/system/classical/__init__.py,sha256=1ZQPLVm075U2VeCfZXPH2EnjnEFfNDS8txfpgqbWjbU,50
mathesis/system/classical/truth_table.py,sha256=QygKbeGrK0dFuQON0Ap50ztzYzRNG3L0rP6Z-5CyeM0,73
mathesis-0.1.0.dist-info/LICENSE.md,sha256=-DPReS06iqxwDLZKwssbVVePnOl3pNkxnr0HZ9LMn4Q,1070
mathesis-0.1.0.dist-info/METADATA,sha256=Pt06R249iukvZ6Jg4cPxWo18yDXKsK8ART_LZO0uBBQ,593
mathesis-0.1.0.dist-info/WHEEL,sha256=Zb28QaM1gQi8f4VCBhsUklF61CTlNYfs9YAZn-TOGFk,88
mathesis-0.1.0.dist-info/RECORD,,
