Leonardo Pacheco finished reading Proofs and refutations by Imre Lakatos Jun 29 Public Proofs and refutations by Imre Lakatos