README.md
pyproject.toml
src/logic/__init__.py
src/logic/build.py
src/logic/predicate/__init__.py
src/logic/predicate/hilbert/__init__.py
src/logic/predicate/hilbert/_structures.py
src/logic/predicate/hilbert/axioms.py
src/logic/predicate/hilbert/definitions.py
src/logic/predicate/hilbert/system.py
src/logic/propositional/__init__.py
src/logic/propositional/hilbert/__init__.py
src/logic/propositional/hilbert/_internal.py
src/logic/propositional/hilbert/_structures.py
src/logic/propositional/hilbert/_syntactic.py
src/logic/propositional/hilbert/axioms.py
src/logic/propositional/hilbert/definitions.py
src/logic/propositional/hilbert/lemmas.py
src/logic/propositional/hilbert/theorems.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_smoke.py