Metadata-Version: 2.1
Name: mltt-resolver
Version: 0.1.0
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

# MLTT

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

## Installation 
