Metadata-Version: 2.3
Name: poussins
Version: 0.0.2
Summary: A proof assistant running on Python.
Requires-Python: >=3.11
Description-Content-Type: text/markdown

# poussins

A proof assistant running on Python.

## Develop

```bash
# Run
uv run -m poussins

# Unit Test
uv run pytest

# Lint
uv run ruff check .
```
