LICENSE.md
README.md
pyproject.toml
peye/__init__.py
peye/__main__.py
peye/arith.py
peye/builtins.py
peye/cli.py
peye/common.py
peye/dsl.py
peye/engine.py
peye/functions.py
peye/program.py
peye/proof.py
peye/reader.py
peye/terms.py
peye/writer.py
peye.egg-info/PKG-INFO
peye.egg-info/SOURCES.txt
peye.egg-info/dependency_links.txt
peye.egg-info/entry_points.txt
peye.egg-info/top_level.txt
tests/test_arithmetic.py
tests/test_check_report.py
tests/test_cli.py
tests/test_core.py
tests/test_dsl.py
tests/test_examples.py
tests/test_proof.py
tests/test_syntax.py
tests/test_terms.py