README.md
pyproject.toml
setup.py
lean4_lambda_calculator/__init__.py
lean4_lambda_calculator/analyse_log.py
lean4_lambda_calculator/calculator.py
lean4_lambda_calculator/data_downloader.py
lean4_lambda_calculator/expr.py
lean4_lambda_calculator/level.py
lean4_lambda_calculator/parser.py
lean4_lambda_calculator/shell.py
lean4_lambda_calculator.egg-info/PKG-INFO
lean4_lambda_calculator.egg-info/SOURCES.txt
lean4_lambda_calculator.egg-info/dependency_links.txt
lean4_lambda_calculator.egg-info/requires.txt
lean4_lambda_calculator.egg-info/top_level.txt
tests/test_calculator.py
tests/test_expr.py