Papers

A paper takes one result of the tree and writes it out in full for a reader who has not read the notes: a cover with title, date and lead, then the argument, every number traced to the code that computes it, in markdown that prints as a paged document.

The lead of each paper below says what it proves. The first editions on the shelf are deprecated and never edited.