Metadata-Version: 2.4
Name: qmars
Version: 0.1.0.post1
Summary: A Proof Assistant in Python
Project-URL: Homepage, https://qmars-proof.github.io/docs/
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.
