Metadata-Version: 2.4
Name: epure-py
Version: 0.0.0
Summary: Name reserved: the Python distribution of epure (import epure) — proof + refinement at the semantic boundary.
Project-URL: Homepage, https://github.com/xag/epure
License-Expression: Apache-2.0
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# epure-py

Name reserved: the Python distribution of epure (import epure) — proof + refinement at the semantic boundary.

Name reserved on PyPI; see https://github.com/xag/epure
