Skip to content

docs(readme): lead with what it does and the quickstart; reference moves to docs/ - #72

Merged
askalf merged 1 commit into
mainfrom
docs/readme-lead-with-the-proof
Sep 22, 2026
Merged

askalf merged 1 commit into
mainfrom
docs/readme-lead-with-the-proof

Commits

Commits on Sep 22, 2026