# Evidence

The review behind this repository, on autoformalization, and the bibliography of every work it cites. The review
follows the method the topic's reviews share, which is not repeated here ([the topic's evidence](https://github.com/Tewf/reader-ergonomics-topic/blob/092ae2fc2e07226b695e219e3eb14b40286faa25/evidence/README.md)).

## Contents

| Part | Summary |
|---|---|
| [autoformalization](autoformalization/) | grey and formal passes, 273 sources: how practice and research join a person's reasoning, a model and Lean, and catch the wrong statement |
| [bibliography](bibliography.md) | every work cited, once, with a stable link |

## See also

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

The first build's prose audit (2026-11-03) rests on Euclid IX.20 in Joyce's edition (Joyce 1996) and on the factorial
variant of the proof (Wikipedia 2026 Euclid), both listed in the [bibliography](bibliography.md).