README.md
pyproject.toml
src/logic/__init__.py
src/logic/build.py
src/logic/dv_contracts.py
src/logic/predicate/__init__.py
src/logic/predicate/hilbert/__init__.py
src/logic/predicate/hilbert/_builtins.py
src/logic/predicate/hilbert/_internal.py
src/logic/predicate/hilbert/_structures.py
src/logic/predicate/hilbert/axioms.py
src/logic/predicate/hilbert/definitions.py
src/logic/predicate/hilbert/lemmas.py
src/logic/predicate/hilbert/theorems.py
src/logic/propositional/__init__.py
src/logic/propositional/hilbert/__init__.py
src/logic/propositional/hilbert/_builtins.py
src/logic/propositional/hilbert/_internal.py
src/logic/propositional/hilbert/_structures.py
src/logic/propositional/hilbert/_syntactic.py
src/logic/propositional/hilbert/adder.py
src/logic/propositional/hilbert/axioms.py
src/logic/propositional/hilbert/conjunction.py
src/logic/propositional/hilbert/constants.py
src/logic/propositional/hilbert/definitions.py
src/logic/propositional/hilbert/disjunction.py
src/logic/propositional/hilbert/equivalence.py
src/logic/propositional/hilbert/implication.py
src/logic/propositional/hilbert/lemmas.py
src/logic/propositional/hilbert/negation.py
src/logic/propositional/hilbert/stoic.py
src/logic/propositional/hilbert/syllogism.py
src/logic/propositional/hilbert/theorems.py
src/logic/propositional/hilbert/truth_tables.py
src/logic/propositional/hilbert/axiomatizations/__init__.py
src/logic/propositional/hilbert/axiomatizations/lukasiewicz.py
src/logic/propositional/hilbert/axiomatizations/meredith.py
src/logic/propositional/hilbert/axiomatizations/minimal_implicational.py
src/logic/propositional/hilbert/axiomatizations/nicod.py
src/logic/propositional/hilbert/axiomatizations/russell_bernays.py
src/logic/propositional/hilbert/axiomatizations/tarski_bernays_wajsberg.py
src/metamath_logic.egg-info/PKG-INFO
src/metamath_logic.egg-info/SOURCES.txt
src/metamath_logic.egg-info/dependency_links.txt
src/metamath_logic.egg-info/requires.txt
src/metamath_logic.egg-info/top_level.txt
tests/test_catalogue_sync.py
tests/test_predicate_builtins.py
tests/test_proof_surface.py
tests/test_propositional_scope.py
tests/test_smoke.py