Ghosts of Departed Proofs [pdf]kataskeue.com1 point·de_keyboard··0 commentsOpen articleSaveView on HN