Metadata-Version: 2.4
Name: poussins
Version: 0.0.8
Summary: A proof assistant running on Python.
License-Expression: Apache-2.0
License-File: LICENSE
Requires-Python: >=3.11
Project-URL: Documentation, https://github.com/kumo01GitHub/poussins/blob/main/docs/proof-author-guide.md
Project-URL: Repository, https://github.com/kumo01GitHub/poussins.git
Project-URL: Issues, https://github.com/kumo01GitHub/poussins/issues
Project-URL: Changelog, https://github.com/kumo01GitHub/poussins/blob/main/CHANGELOG.md
Description-Content-Type: text/markdown

# poussins

A Python proof assistant with a small kernel and ergonomic proof DSL.

<p align="center">
<a href="https://pypi.org/project/poussins">
    <img alt="PyPI Version" src="https://img.shields.io/pypi/v/poussins">
</a>
<a href="https://pypi.org/project/poussins">
    <img alt="PyPI License" src="https://img.shields.io/pypi/l/poussins">
</a>
</p>

## Documentation Map

- Proof authors: [Proof Author Guide](docs/proof-author-guide.md)
- Contributors and maintainers: [Developer Guide](docs/developer-guide.md)

## Quick Start

```bash
uv sync
uv run -m poussins --help
```

Run an example proof:

```bash
uv run -m poussins prove example/hilbert_s.py
```
