Metadata-Version: 2.4
Name: poussins
Version: 0.2.2
Summary: A proof assistant running on Python.
License-Expression: Apache-2.0
License-File: LICENSE
Requires-Python: >=3.12
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.

[![PyPI Version](https://img.shields.io/pypi/v/poussins)](https://pypi.org/project/poussins)
[![PyPI License](https://img.shields.io/pypi/l/poussins)](https://pypi.org/project/poussins)
[![Downloads](https://static.pepy.tech/badge/poussins/month)](https://pepy.tech/project/poussins)
[![Python package](https://github.com/kumo01GitHub/poussins/actions/workflows/python-package.yml/badge.svg)](https://github.com/kumo01GitHub/poussins/actions/workflows/python-package.yml)
[![Pylint](https://github.com/kumo01GitHub/poussins/actions/workflows/pylint.yml/badge.svg)](https://github.com/kumo01GitHub/poussins/actions/workflows/pylint.yml)
[![Codacy Badge](https://app.codacy.com/project/badge/Grade/78a507954076477a9b234e1f8234e572)](https://app.codacy.com/gh/kumo01GitHub/poussins/dashboard?utm_source=gh&utm_medium=referral&utm_content=&utm_campaign=Badge_grade)

## Documentation Map

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

## Quick Start

### Installation

Install `poussins` from PyPI:

```bash
pip install poussins
poussins --help
```

Run a proof file:

```bash
poussins prove path/to/proof.py
# or
python -m poussins prove path/to/proof.py
```

### From Source / Development

If you clone the repository or want to run examples directly with `uv`:

```bash
git clone https://github.com/kumo01GitHub/poussins.git
cd poussins

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