Gustavo Lacerda - A QED Project for Science: The Promises of Computer-Level Formalization

Please comment, argue, criticize!

How crackpotty does it sound? Where does it need to improve in order to meet journal standards?