MILESTONES · SNAPSHOT FROM GITHUB
Read from GitHub each time this site is published. Each milestone has one Proof issue: it is closed only when that thing really happened. Rows say where things stand and who they wait on: you or me. Nothing here is typed by hand.