Metadata-Version: 2.1
Name: mltt-resolver
Version: 0.1.0.0.1
Summary: A Martin-Löf Type Theory implementation in Python
Home-page: https://github.com/ytfh44/mltt-resolver
Author: ytfh44
Author-email: 3118918283@qq.com
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Description-Content-Type: text/markdown
Provides-Extra: test
Requires-Dist: pytest>=8.3.4; extra == "test"
Requires-Dist: hypothesis>=6.122.3; extra == "test"

# MLTT

A Martin-LÃ¶f Type Theory implementation in Python.

## Installation 
