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).
Contents
| Part | Summary |
|---|---|
| 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 | every work cited, once, with a stable link |
See also
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.