mltp/.DS_Store,sha256=Vk0GM1VZ9gpC98fMdo3pB5lHoPLMmJU938rYMHWvwIQ,12292
mltp/__init__.py,sha256=NVLgNuV6nvrY7jjMJCzFosnDK44ST3kQytiCq_vjPvI,142
mltp/logic_utils.py,sha256=yPB0WfN45F1KijTUeN-2Z74X45d0BFABUZvq9cKUC1M,5284
mltp/predicates/.DS_Store,sha256=Lrr3gsW_vQ3qBh2MFo-ZZWge8Osg4CIOPAD5RV_f8sc,6148
mltp/predicates/__init__.py,sha256=zyYbGXVFUnUtAHqGvLGtezmHVLpsxsPkyOLcjMCLRJE,8399
mltp/predicates/completeness.py,sha256=O9HDK1_OR_EUtEsZxwNH57hDEyLNM79F1EbCzXVWSUw,26020
mltp/predicates/deduction.py,sha256=x-tKvXBHuiJtwiad8gmgGFyqrrgdhhGUFcdvHYzvBAw,6991
mltp/predicates/functions.py,sha256=9BUIY19bQcbtu7pOUrya4JLfeYT4FPcXoAtg-3gBhv8,21671
mltp/predicates/operators.py,sha256=u4PV1xDZTq-P49Gb_MKDkA40JruabPejaDpyrm_jQfo,11149
mltp/predicates/prenex.py,sha256=LZvMXeVLImyxpjhDPPskCJbOf67wi7-cv_ewDvy2yDM,40498
mltp/predicates/proofs.py,sha256=2BowsQodYp9R6KM_ABsAl9ThgFQyyGOBk6FWsmfDO-U,57876
mltp/predicates/prover.py,sha256=lQiHCSVS3SPw2BgKxwqZvwgXnASQpNNeNnVaJH6sBMw,36609
mltp/predicates/semantics.py,sha256=lXUcj_tk09FOaHzzNilkAWkFT2cJI1nESE6pFqensGQ,16945
mltp/predicates/some_proofs.py,sha256=SQGArpFQcUEZZa9fO1Vshpsr72LzcwCTIAlSGX-s1lQ,37425
mltp/predicates/syntax.py,sha256=E6Hx95NymwuRqA8gT8A4szx-qW8X1Qxs3jxMrTwyCt0,40457
mltp/propositions/.DS_Store,sha256=7Pv84K8oealkK6pW6KOLy6_ZQ_gh826SX-85Uyk99Dk,6148
mltp/propositions/__init__.py,sha256=dOKfYmhp6DwiociKml7k6Cc4--BSlni5A4O3YSwaiZs,6244
mltp/propositions/axiomatic_systems.py,sha256=aCh8vetiyB-RK45cjCrDfDDUImU1SX1LdWnb26xKVtM,3880
mltp/propositions/deduction.py,sha256=3b8dvmzQv5TY4q7TOYiObzt1wHwdrtJlVmmois7zjrs,14252
mltp/propositions/operators.py,sha256=QhbVX_rU99yAB04RfNRAmvhWZZ0g8m45clzxLtdWU6k,7062
mltp/propositions/proofs.py,sha256=RqfkqARgYCWQrf5gwKiYaYmeJXeSoCn4pWENVfRBz1Y,34370
mltp/propositions/reductions.py,sha256=NpUhjLTswu8kI4JxcRXveFv4-3QGXlG06s55_B8ftZU,6196
mltp/propositions/semantics.py,sha256=KYeso_NYj9b75SYVdKWi0zQ0--25KnRI_mE3BysvIYM,13678
mltp/propositions/some_proofs.py,sha256=6H574pzJchrV7Ty_89rHiW-Jg0zxRKE9kuVN44hYNjY,11166
mltp/propositions/soundness.py,sha256=PnMTkUzAYMPIYqvoAnnpZSmDHW8vSI554BnXM-skYPM,2446
mltp/propositions/syntax.py,sha256=NxxKB8cj2erZjg2jUUPT9GIB_vOFZR0x77O4XmOccaM,20558
mltp/propositions/tautology.py,sha256=FLBIuZCMtqXLB-oXKj5w04L45M7LxpJCJCJpOVbf_Eo,26470
mltp-0.1.0.dist-info/licenses/LICENSE,sha256=Co3gCa5NqO9dJbkTkMJKywvrd3BxT7e5aGKcZ7Yn1_Q,1082
mltp-0.1.0.dist-info/WHEEL,sha256=G2gURzTEtmeR8nrdXUJfNiB3VYVxigPQ-bEQujpNiNs,82
mltp-0.1.0.dist-info/METADATA,sha256=VsRIoaNYvGXQpIahFlFxWdV24kG5xmCBtzrxcwM2WUQ,403
mltp-0.1.0.dist-info/RECORD,,
