LICENSE.md
README.md
pyproject.toml
eyekind/__init__.py
eyekind/__main__.py
eyekind/arith.py
eyekind/builtins.py
eyekind/cli.py
eyekind/common.py
eyekind/dsl.py
eyekind/engine.py
eyekind/functions.py
eyekind/goals.py
eyekind/host.py
eyekind/inspection.py
eyekind/program.py
eyekind/proof.py
eyekind/reader.py
eyekind/templates.py
eyekind/terms.py
eyekind/writer.py
eyekind.egg-info/PKG-INFO
eyekind.egg-info/SOURCES.txt
eyekind.egg-info/dependency_links.txt
eyekind.egg-info/entry_points.txt
eyekind.egg-info/top_level.txt
tests/test_applications.py
tests/test_arithmetic.py
tests/test_check_report.py
tests/test_cli.py
tests/test_conformance.py
tests/test_core.py
tests/test_decks.py
tests/test_docs.py
tests/test_dsl.py
tests/test_examples.py
tests/test_inspection.py
tests/test_playground.py
tests/test_proof.py
tests/test_properties.py
tests/test_syntax.py
tests/test_templates.py
tests/test_terms.py