Publisher
Springer International Publishing
Reference89 articles.
1. Anand, A., and V. Rahli (2014). Towards a Formally Verified Proof Assistant. In Interactive Theorem Proving, 27–44. Cham: Springer.
2. Appel, K., and W. Haken (1976). Every Planar Map is Four Colorable. Bulletin of the American Mathematical Society 82(5): 711–712.
3. Asperti, A., H. Geuvers, and R. Natarajan (2009) Social processes, program verification and all that. Mathematical Structures in Computer Science 19(5): 877–896.
4. Avigad, J. (2008). Understanding proofs. The Philosophy of Mathematical Practice, 317–353. Oxford: Oxford University Press.
5. Avigad, J. (2010). Understanding, formal verification, and the philosophy of mathematics. Journal of the Indian Council of Philosophical Research 27: 161–197.