Metadata-Version: 2.4
Name: qmars
Version: 0.1.0
Summary: A Proof Assistant in Python
Project-URL: Homepage, https://github.com/pypa/sampleproject
Project-URL: Issues, https://github.com/pypa/sampleproject/issues
Author-email: Ali Hadizadeh Moghadam <ali.hadizadeh79@sharif.edu>
License-Expression: MIT
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.12
Description-Content-Type: text/markdown

# qmars: A Proof Assistant in Python

Version 0.1.0; still under development.

You may find me at ali.hadizadeh atsymbol sharif dot edu.
