LICENSE
pyproject.toml
.github/README.md
src/TinyLean/__init__.py
src/TinyLean/__main__.py
src/TinyLean/ast.py
src/TinyLean/grammar.py
src/TinyLean/ir.py
src/TinyLean.egg-info/PKG-INFO
src/TinyLean.egg-info/SOURCES.txt
src/TinyLean.egg-info/dependency_links.txt
src/TinyLean.egg-info/entry_points.txt
src/TinyLean.egg-info/requires.txt
src/TinyLean.egg-info/top_level.txt
src/TinyLean/tests/__init__.py
src/TinyLean/tests/test_checker.py
src/TinyLean/tests/test_main.py
src/TinyLean/tests/test_parser.py
src/TinyLean/tests/test_resolver.py