We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b2d4f7f
Preprint version of "Ghosts of Departed Proofs".
6c9234a
June 2018 draft