# Design

The designs proposed before a build, one document each. A choice kept from one becomes a record in [decisions](../decisions/README.md).

**Shape:** [topic](https://github.com/Tewf/reader-ergonomics-topic/blob/092ae2fc2e07226b695e219e3eb14b40286faa25/shapes/topic.md), as every folder here.

## Contents

| Document | Summary |
|---|---|
| [The first build](first-build.md) | Euclid's theorem as three claims, each tied to a Lean declaration and checked in CI |

## See also

[The front page](../README.md).