LICENSE
README.md
pyproject.toml
setup.py
logic_prover/__init__.py
logic_prover/__main__.py
logic_prover/config.py
logic_prover/logging.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/axioms/__init__.py
logic_prover/axioms/analysis.py
logic_prover/axioms/base.py
logic_prover/axioms/boolean_algebra.py
logic_prover/axioms/equality.py
logic_prover/axioms/functions.py
logic_prover/axioms/group_theory.py
logic_prover/axioms/linear_algebra.py
logic_prover/axioms/logic.py
logic_prover/axioms/order_theory.py
logic_prover/axioms/peano.py
logic_prover/axioms/relations.py
logic_prover/axioms/ring_theory.py
logic_prover/axioms/zfc.py
logic_prover/constructive/__init__.py
logic_prover/constructive/common.c
logic_prover/constructive/common.py
logic_prover/constructive/kripke.c
logic_prover/constructive/kripke.py
logic_prover/constructive/ljt.c
logic_prover/constructive/ljt.py
logic_prover/constructive/matrix.c
logic_prover/constructive/matrix.py
logic_prover/constructive/prefix.c
logic_prover/constructive/prefix.py
logic_prover/constructive/resolution.c
logic_prover/constructive/resolution.py
logic_prover/constructive/tableau.c
logic_prover/constructive/tableau.py
logic_prover/constructive/wallen.c
logic_prover/constructive/wallen.py
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/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
tests/test_ast.py
tests/test_axioms.py
tests/test_clausifier.py
tests/test_cli.py
tests/test_database.py
tests/test_deducer.py
tests/test_docstrings.py
tests/test_equality.py
tests/test_explorer.py
tests/test_exporters.py
tests/test_extended_kb.py
tests/test_ljt.py
tests/test_logging.py
tests/test_parser.py
tests/test_prover.py
tests/test_reconstruction.py
tests/test_resolution.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_tableau.py
tests/test_validator.py
tests/test_visitors.py
tests/test_wallen.py