Publisher
Springer International Publishing
Reference45 articles.
1. Avigad, J., Donnelly, K., Gray, D., & Raff, P. (2006). A formally verified proof of the prime number theorem. ACM Transactions on Computational Logic, 9(1),
2. Azzouni, J. (2005a). Tracking reason. Proof, consequence, and truth. New York: Oxford University Press.
3. Azzouni, J. (2005b). Is there still a sense in which mathematics can have foundations? In G. Sica (Ed.), Essays on the foundations of mathematics and logic (pp. 9–47). Monza: Polimetrica.
4. Azzouni, J. (2009). Why do informal proofs confirm to formal norms? Foundations of Science, 14, 9–26.
5. Bauer, G., & Nipkow, T. (2006). Flyspeck I: Tame graphs. Archive of Formal Proofs. Available online at http://afp.sourceforge.net/devel-entries/Flyspeck-Tame.shtml