Publisher
Springer International Publishing
Reference34 articles.
1. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical report 40, Mittag-Leffler (2001)
2. Avigad, J., Harrison, J.: Formally verified mathematics. Commun. ACM 57(4), 66–75 (2014)
3. Lecture Notes in Computer Science;A Avron,2008
4. Avron, A.: A new approach to predicative set theory. In: Schindler, R. (ed.) Ways of Proof Theory, Onto Series in Mathematical Logic, pp. 31–63. Verlag (2010)
5. Avron, A., Cohen, L.: Formalizing scientifically applicable mathematics in a definitional framework. J. Formalized Reasoning 9(1), 53–70 (2016)