Metadata-Version: 2.1
Name: proofy
Version: 0.1
Summary: proofy: proof system in python
Home-page: https://gitlab.com/masp/proofy
Author: Martin Spiessl
Author-email: UNKNOWN
License: Apache-2.0
Keywords: software verification
Platform: Linux
Classifier: Development Status :: 1 - Planning
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development :: Testing

UNKNOWN


