unicode_fol_kit/__init__.py,sha256=f0SEKZiFdzLMRf1_qO92vAq5fD6QQMuxy2oCnZNxiEI,516
unicode_fol_kit/atp/__init__.py,sha256=E-84Ijy7615Npfdq_9SVfegy4rAlceEMJtjLEDMQmuM,176
unicode_fol_kit/atp/prover9_entailment.py,sha256=LKJwYc0rzxH6tnBK9x2rjAQVDCHKiJpB2rcrwIlI9Xo,2218
unicode_fol_kit/atp/z3_equivalence.py,sha256=W44pY_9q7CZLLS_dPAMbbz0TbJ2P2eEoZKxRW6U82pY,641
unicode_fol_kit/fol/__init__.py,sha256=ZIkHCAUvO9-FanvpfrfB9Q1vncFB3lTftEW0AZeIZk0,425
unicode_fol_kit/fol/folparser.py,sha256=yRqvtlMDKwXvD0c9gPrYSys-o9EZBgLkp5VPOxfTOwE,785
unicode_fol_kit/fol/naming.py,sha256=6uDkM8Jll0hrH_3VOKmhcF4zW4eDFQbmwu3IqxjNMF8,6103
unicode_fol_kit/fol/nodes.py,sha256=gLhL9aToBwULpyPS0hyhVoM2r_67jCw27FSzfpJERK8,26070
unicode_fol_kit/fol/syntax.lark,sha256=P7d8Aaqtx9Y8ECXMs8qWcpOvS365M6PX9qKmT2_-lzY,1807
unicode_fol_kit-0.1.0.dist-info/METADATA,sha256=Z0dRxX6zVhyKMLQjTOWlVh7H_Or5tWwM1YNdwG3DL70,9876
unicode_fol_kit-0.1.0.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
unicode_fol_kit-0.1.0.dist-info/licenses/LICENSE,sha256=Fp6yGGGP3B-MZdUdCChLyvUvWYpYKvEWPixHAXSvYCw,1089
unicode_fol_kit-0.1.0.dist-info/RECORD,,
