![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
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?
Please comment, argue, criticize!
How crackpotty does it sound? Where does it need to improve in order to meet journal standards?
