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

# prover

Coming soon ...

