LICENSE
README.md
pyproject.toml
src/prop_logic_lib.egg-info/PKG-INFO
src/prop_logic_lib.egg-info/SOURCES.txt
src/prop_logic_lib.egg-info/dependency_links.txt
src/prop_logic_lib.egg-info/requires.txt
src/prop_logic_lib.egg-info/top_level.txt
src/proplogic/__init__.py
src/proplogic/canonical.py
src/proplogic/laws.py
src/proplogic/lexer.py
src/proplogic/parser.py
src/proplogic/proplogic.py
src/proplogic/simplifier.py
src/proplogic/tokens.py
tests/test_simplifier.py