Metadata-Version: 2.4
Name: openprover
Version: 0.1.0
Summary: Empty placeholder package.
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# openprover

Coming soon ...

