unicode_fol_kit/__init__.py,sha256=Df6H78DIdLvffs_0l6Pzi8LnVwqb2DczQIyAgtJpntc,5774
unicode_fol_kit/__main__.py,sha256=4nhRcIMFKFVN6cZBO2cl37t8SPGHqOXZDYryRWwjHH8,3125
unicode_fol_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_fol_kit/atp/__init__.py,sha256=mfNrL_4ddt2T3l0u5S_2MKMLAsuM8VVEPcEEF8-A3tA,2118
unicode_fol_kit/atp/fitch.py,sha256=tNq2i4QN0j4crP-EeIHy4Jv_-vDR37_wANll6U487pE,61392
unicode_fol_kit/atp/fitch_search.py,sha256=lnN1ekwaf0N2pqz-WlroEAYk3kL6h4HkKicwHa8-ELY,20023
unicode_fol_kit/atp/lj.py,sha256=PIJ2k8lEeyTmaY-dQYovAxSMVMM_UGiASzJiAvxmYwE,15076
unicode_fol_kit/atp/prover9_entailment.py,sha256=FZNMnmz6ib4A2Xganu8Kr9zqh1hOQL7fMvG_CzZKHZc,2481
unicode_fol_kit/atp/resolution.py,sha256=AxyduWZdCx9p0PwqB_IKQu4wS81AhlzPFAmagZM_XKw,17851
unicode_fol_kit/atp/sequent.py,sha256=_hoy6kZ1qAu5SMfSyd7awXJ5xxvOfwZh4bjIkj1WC90,40481
unicode_fol_kit/atp/tableau.py,sha256=0A5p1-p4NE36XUIlmCz6BX3uPfsX8J7Cr4r9GpRKKac,10602
unicode_fol_kit/atp/vampire_entailment.py,sha256=LAjBgNcXKHya6zQetYU0Tkb4Qn56w1nn3dOhV3FQz5A,6618
unicode_fol_kit/atp/z3_arith.py,sha256=4juapyfWlJ2cikhopx5ktycA-86GWw7K1XxWh7SSDjw,11878
unicode_fol_kit/atp/z3_equivalence.py,sha256=qhzCF99f60tVpHi3-D3tOtyCMH1EFnT1Riy8odbassg,835
unicode_fol_kit/atp/z3_fuzzy.py,sha256=8uHmlAf6-i_fyvH9E7M9OCV7BWBzjOr-e9W38LZHAEI,9637
unicode_fol_kit/atp/z3_input.py,sha256=NuOpcHNxnd0H5Va02s-UDDPRj9T460HGZzvih_LxqyQ,7131
unicode_fol_kit/atp/z3_models.py,sha256=hStUjBMVzrsn9TElr6R7HLNXKpR8_XgSI9CTmZc6aC0,1794
unicode_fol_kit/eval/__init__.py,sha256=WlECJOQiSUDqfpPaMwxh66gS5Pr6-4MCknExB2LSyVY,1439
unicode_fol_kit/eval/canonical.py,sha256=xc_MWVvZjdPjO-be_M4jYOXq3HpGMwdZjEQAAfOhAQE,19176
unicode_fol_kit/eval/predicate_match.py,sha256=DbN_kW5hdt38l3DDNDXGAuQSlJA4Ta3RKAHoIl3m6DE,7672
unicode_fol_kit/eval/validate.py,sha256=EFtoAbAfuteeoPbG2v2Mesnn6kqTdAQ9tUL0r3YNMMw,11001
unicode_fol_kit/fol/__init__.py,sha256=1sS75nQ3PlZkBRk4utmH9RK4oITW3ubzTck3P3yoLj8,2569
unicode_fol_kit/fol/_fol_nodes.py,sha256=BC_xL9xWKXScJcFRLGH_xtEitLW8tsGbNTI6Xtfp31Q,56222
unicode_fol_kit/fol/_modal_nodes.py,sha256=HB1qiRgU1xEfmGt1zI9zi3YxGQ9UmSMhZxXBhF0OkXU,22197
unicode_fol_kit/fol/_msfl_nodes.py,sha256=_LF2sD58-mNPrCLwot5PrnZSIkk5_d5tNWtU3xn3a9g,52797
unicode_fol_kit/fol/_so_nodes.py,sha256=F5FiE83QpbZr2yQbPOKy864PXmfwosxM1ORtuoZXMLE,7907
unicode_fol_kit/fol/_symbol_names.py,sha256=L-ygGRYBQDg6i6NMbWX0vjFSmpfYgi-FTmAbnt6dbe0,2983
unicode_fol_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_fol_kit/fol/latex_input.py,sha256=k4dvMTMyGc1Nm148E7e9q6m9Olk3sXl74pLi5j9ZY8c,9118
unicode_fol_kit/fol/modal_translation.py,sha256=MQ9W6j1n5R_VI8PIkIfk1QgtNsweHpLbdv_RkRkrOz8,10685
unicode_fol_kit/fol/msflparser.py,sha256=mf9qHY5uzQlrrH0JLDY6UciNL2NMynrv2gjuOkGYF9E,9185
unicode_fol_kit/fol/naming.py,sha256=H0Ovp2o-1KZOak4SLwepT0Fqt1wRiQEE7tH0rHYJIaw,6819
unicode_fol_kit/fol/nodes.py,sha256=B3-CkK0s0dN1OltDeJcRFEUdEZot5KUOww8VFySxsfA,1694
unicode_fol_kit/fol/normalforms.py,sha256=vAbnba7US-gvTrg4z-P6YYJKeT91lcNHuURW7IapoY4,16082
unicode_fol_kit/fol/prover9_input.py,sha256=F3peTnRNIPfOJZ-iePTJvhu_Ry6YwcKDaE0AsmJwlUM,6259
unicode_fol_kit/fol/qml.py,sha256=ItwOHp3j50ufKSDPcwu906i3QpI0SzpA6SDsG-WdQk4,27959
unicode_fol_kit/fol/tptp_input.py,sha256=XcHl4jwDJje8W322CuRQOeZ0434lAgbB4hP75k9n-bc,9954
unicode_fol_kit/fol/unification.py,sha256=grOyBl0Pt_ulfTc8c9zY68l0RWSOJgGHxycU5mSr2Rk,5577
unicode_fol_kit/fol/verbalize.py,sha256=Qflr0rIcrzpZUTAeGR0fu9WIF107vqCm7ejPmVsu-Ak,4037
unicode_fol_kit/fol/grammars/terminals.lark,sha256=d5Zez-mCoYYjzMEmpuhXsQRif6xREI5W3ZKzCy9K6g0,240
unicode_fol_kit/hol/__init__.py,sha256=_b66scOBhfnU0nN8ZwuvT4Av3VTR9lh1bpFHWgqQSIM,3557
unicode_fol_kit/hol/classical.py,sha256=da0hRfgkjQ9HTd53rSm95k8FKMYKKYc4qYz51DBD3RI,23176
unicode_fol_kit/hol/intuitionistic.py,sha256=7ihcY6uV2yfYF2SyjKifUo2p47UCw3SpOmV0xamVoZg,18696
unicode_fol_kit/hol/isabelle_modal.py,sha256=hJWT1v_wUq85QmVE_tCVXYegZ6x9ATaDXgndgAPysUU,37186
unicode_fol_kit/hol/isabelle_runner.py,sha256=SScOzgqw1_93JHyukjfpPNOo-oObG_b_JF510iUxy6M,23057
unicode_fol_kit/hol/manyvalued.py,sha256=4JwHBvugCEXIX1sisMz4LSAPjQJr55TAYqVrB2bqDqY,29420
unicode_fol_kit/hol/secondorder.py,sha256=tvgNkOMohoJuGJeTjDxjNms-woNLw05wXNzoAxxxVXA,25253
unicode_fol_kit/hol/thf_modal.py,sha256=9qSIPyso-ZQj2p3ONq6Euss5NzKRU_8jXxcLsjzqnJk,24804
unicode_fol_kit/semantics/__init__.py,sha256=cRpD58auxIVNC15gM_nxEooI5OmNAwukXXo3JxHmSmA,2238
unicode_fol_kit/semantics/_modal_reject.py,sha256=wIgbR15U0fTx4lexV9bttJlxNPMZqV37pyzBceJJZ8U,2111
unicode_fol_kit/semantics/fuzzy.py,sha256=c1wA-ygNYPEzGtSFjRsASEUwLTe3OmS7NvAk6M4DZRg,11480
unicode_fol_kit/semantics/intuitionistic.py,sha256=tx7qMDbsdCjIf353JjaGdZwrD5qoVGKyYeGvH62HX_Q,7265
unicode_fol_kit/semantics/kripke.py,sha256=uReZ9d-3S24RwQm1nucrxJbOkRWgWqbk6dC6nnguXnE,16493
unicode_fol_kit/semantics/manyvalued.py,sha256=usi6cZZV7Ym_HeBJp_xXruplU_eM2UO2GJZ52SPN4-4,20313
unicode_fol_kit/semantics/modelfinder.py,sha256=e1Izhl7Flx_KJ5JyAMXCgVuhWJzIA-tsOnLfZlWHPR0,8609
unicode_fol_kit/semantics/secondorder.py,sha256=CDEsRHdh25aFq5-90IQ1pa4l9CVpWu6OUPyc-oBdj8I,13303
unicode_fol_kit/semantics/tarski.py,sha256=U7K1ZEbW6bMXBB17LL2q1qpsUqiQUW30PH6I33AMGAw,13512
unicode_fol_kit/semantics/truthtable.py,sha256=YiQQOJl4VfeZTxCBTXSIvnRm_jxchLvzPu4mpYWIMC8,6091
unicode_fol_kit-0.8.0.dist-info/METADATA,sha256=oadUWgxEOyqXZxdQyvmrHVKhLNu122xOdhMZ72mwtJc,99944
unicode_fol_kit-0.8.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
unicode_fol_kit-0.8.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.8.0.dist-info/RECORD,,
