LICENSE
README.md
pyproject.toml
setup.py
logic_prover/__init__.py
logic_prover/__main__.py
logic_prover/config.py
logic_prover.egg-info/PKG-INFO
logic_prover.egg-info/SOURCES.txt
logic_prover.egg-info/dependency_links.txt
logic_prover.egg-info/entry_points.txt
logic_prover.egg-info/requires.txt
logic_prover.egg-info/top_level.txt
logic_prover/core/__init__.py
logic_prover/core/ast.c
logic_prover/core/ast.py
logic_prover/core/database.py
logic_prover/core/equality.py
logic_prover/core/exceptions.py
logic_prover/core/parser.py
logic_prover/core/rewriter.py
logic_prover/core/signature.py
logic_prover/core/sorts.py
logic_prover/core/substitutions.c
logic_prover/core/substitutions.py
logic_prover/core/validator.py
logic_prover/core/visitors.c
logic_prover/core/visitors.py
logic_prover/deducer/__init__.py
logic_prover/deducer/analyzer.py
logic_prover/deducer/graph.py
logic_prover/explorer/__init__.py
logic_prover/explorer/filter.py
logic_prover/explorer/generator.py
logic_prover/explorer/heuristics.py
logic_prover/exporters/__init__.py
logic_prover/exporters/graph_exporter.py
logic_prover/exporters/lean_exporter.py
logic_prover/kb/__init__.py
logic_prover/kb/equality.py
logic_prover/kb/functions.py
logic_prover/kb/groups.py
logic_prover/kb/logic.py
logic_prover/kb/numbers.py
logic_prover/kb/orders.py
logic_prover/kb/relations.py
logic_prover/kb/sets.py
logic_prover/prover/__init__.py
logic_prover/prover/clausifier.c
logic_prover/prover/clausifier.py
logic_prover/prover/engine.c
logic_prover/prover/engine.py
logic_prover/prover/proof.py
logic_prover/prover/reconstruction.py
logic_prover/prover/rules.c
logic_prover/prover/rules.py
logic_prover/sol/__init__.py
logic_prover/sol/ast_ext.py
logic_prover/sol/kb_ext.py
logic_prover/sol/substitutions_ext.py
logic_prover/utils/__init__.py
logic_prover/utils/clean_pycache.py
logic_prover/utils/doc_generator.py
logic_prover/utils/logging.py
tests/test_ast.py
tests/test_clausifier.py
tests/test_cli.py
tests/test_database.py
tests/test_deducer.py
tests/test_doc_generator.py
tests/test_docstrings.py
tests/test_equality.py
tests/test_explorer.py
tests/test_exporters.py
tests/test_extended_kb.py
tests/test_logging.py
tests/test_parser.py
tests/test_prover.py
tests/test_reconstruction.py
tests/test_rewriter.py
tests/test_rules.py
tests/test_signature.py
tests/test_sol_ast.py
tests/test_sol_kb.py
tests/test_sol_prover.py
tests/test_sol_substitutions.py
tests/test_sorts.py
tests/test_substitutions.py
tests/test_validator.py
tests/test_visitors.py