Metadata-Version: 2.4
Name: kdrag-eprover
Version: 3.5.1
Summary: The E theorem prover, packaged as a platform wheel
License-Expression: GPL-2.0-or-later
Project-URL: Homepage, https://www.eprover.org/
Project-URL: Source, https://github.com/eprover/eprover/tree/E-3.5.1
Keywords: automated-theorem-proving,eprover,tptp
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# kdrag-eprover

[E 3.5.1](https://github.com/eprover/eprover/tree/E-3.5.1) with higher-order
logic support, packaged in Python wheels.

```sh
uv add kdrag-eprover
```

```python
import subprocess
from eprover import eprover_path

subprocess.run([eprover_path, "--version"], check=True)
```

Wheels support x86-64 and ARM64 Linux and macOS. On Windows, use WSL.

## Release

Configure a PyPI trusted publisher for repository `kdrag-eprover`, workflow
`wheels.yml`, and environment `pypi`. Push a `v*` tag to publish.

Build locally with:

```sh
uv build
```

Licensed under [GPL-2.0-or-later](https://github.com/eprover/eprover/blob/E-3.5.1/COPYING).
