LICENSE
MANIFEST.in
README.md
pyproject.toml
episteme/__init__.py
episteme/api/__init__.py
episteme/api/main.py
episteme/core/__init__.py
episteme/core/ast.py
episteme/core/build_proof_graph.py
episteme/core/checker.py
episteme/core/expression_normalizer.py
episteme/core/proof_graph.py
episteme/parsers/__init__.py
episteme/parsers/proof_parser.py
episteme/parsers/reasoning_parser.py
episteme/reasoning/__init__.py
episteme/reasoning/analyze_tools.py
episteme/reasoning/analyzer.py
episteme/reasoning/argument_graph.py
episteme/theory/__init__.py
episteme/theory/algebra_basic.json
episteme/theory/basic_analysis.json
episteme/theory/loader.py
episteme/theory/peano.json
episteme/theory/zf.json
episteme_ai.egg-info/PKG-INFO
episteme_ai.egg-info/SOURCES.txt
episteme_ai.egg-info/dependency_links.txt
episteme_ai.egg-info/requires.txt
episteme_ai.egg-info/top_level.txt