Metadata-Version: 2.3
Name: lean4-lambda-calculator
Version: 0.1.1
Summary: 
Author: penglingwei
Author-email: penglingwei@zju.edu.cn
Requires-Python: >=3.11,<4.0
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Requires-Dist: colorama (>=0.4.6,<0.5.0)
Requires-Dist: huggingface-hub (>=0.26.5,<0.27.0)
Requires-Dist: lark (>=1.2.2,<2.0.0)
Requires-Dist: prompt-toolkit (>=3.0.48,<4.0.0)
Requires-Dist: python-dotenv (>=1.0.1,<2.0.0)
Requires-Dist: sympy (>=1.13.3,<2.0.0)
Description-Content-Type: text/markdown

# Lean4 Lambda Calculator

```bash
python lean4_lambda_calculator/shell.py
```
