Digested articles

The collection of digested papers. This includes the .tex and PDF files as well as the names of the digesters. Links to videos, lectures, formalizations, animations and repositories may also be provided. Summaries of the papers and any remarks on the personal impact of the work or its impact on the field are encouraged.