episteme/__init__.py,sha256=kL-IxUYjFob8o0N4xYTtHNHB-urD4At4JmZH6bTp4LM,59
episteme/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
episteme/api/main.py,sha256=-HOuqsSHStaQ79_Urm5eg0jgou-ZMcai-FhioWULH00,6460
episteme/core/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
episteme/core/ast.py,sha256=XyhmnK_cY62_r2xiod6Mz1BBv25ynpPtx3njyOIVTwU,1052
episteme/core/build_proof_graph.py,sha256=G0L0E8xxv_9DuEpiN-0zPIlXNOHgODZkJQKMPRzhfTI,812
episteme/core/checker.py,sha256=aDTkOJ3AsVA2h6K5Hw9fABi4nifjk5Pn_LyxjcIpW3A,10840
episteme/core/expression_normalizer.py,sha256=hzosZ40I02_1zyP7W44hf0IsTidmtCDYhAxDJNreM9k,902
episteme/core/proof_graph.py,sha256=01jYc2CJL-DB-5IyBGclDI5il61fJdk94Sf8JBC3pcs,2302
episteme/parsers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
episteme/parsers/proof_parser.py,sha256=usJaahhGeHPtY2N5dUrBsAju1tIUnuZgZNust-xNtmw,4258
episteme/parsers/reasoning_parser.py,sha256=xY9Q7z_qNkcqBZprzrEwcZLEyT0YoT6tRR0nr_km3Z8,1692
episteme/reasoning/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
episteme/reasoning/analyze_tools.py,sha256=mtprHKoEb_Ss06l_oulACBah0ss4zfpx63njVwW6L9o,2272
episteme/reasoning/analyzer.py,sha256=Ji0nPWpVRq8bjegu8eqzEdPdqTBtTtY7xIucXnhIEE0,2179
episteme/reasoning/argument_graph.py,sha256=oxBmrqIjugYKfzSOhf2sgQWlY6h-fApdyKUDopY6pwE,2654
episteme/theory/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
episteme/theory/algebra_basic.json,sha256=WcDS78r0pFxZQFqEJCslEr5r4ZJNeJGOAMyS2bwQ_6I,190
episteme/theory/basic_analysis.json,sha256=uzMrEe_KvcxXeQbFW2GTnzo-pwgDTIkhbOXvIS06EuA,314
episteme/theory/loader.py,sha256=hvtCQ9fG9nbe1HTW7lYgEUhZ8Z5IrqeBhYCORBwaNVg,890
episteme/theory/peano.json,sha256=lt0glcyXi8JlNatjGb0LcIADoiaXoxf-tv2yGiVeIJ8,177
episteme/theory/zf.json,sha256=OBItjSP5XtvLnCIIBPqb-Fz5DR-VrIwKlBJInSCZi8k,323
episteme_ai-0.3.3.dist-info/licenses/LICENSE,sha256=bx5iLIKjgAdYQ7sISn7DsfHRKkoCUm1154sJJKhgqnU,35184
episteme_ai-0.3.3.dist-info/METADATA,sha256=t3I6t7hgK4COWTvAwMA_AtBGE9hBxuWsoGDxn0XdXRI,47568
episteme_ai-0.3.3.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
episteme_ai-0.3.3.dist-info/top_level.txt,sha256=hVW8VgREvTQOIdDDM874NsjZLJKJ5TAp1liA3-t7HAU,9
episteme_ai-0.3.3.dist-info/RECORD,,
