Proofs, computers, and the a priori: Is there anything to fix? | Publicación