Ghosts of Departed Proofs [pdf]files.zotero.net1 point·082349872349872··0 commentsOpen articleSaveView on HN