| Path |
Digest |
Size |
| 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 |
— |
— |