1. Cramer, M.: Proof-checking mathematical texts in controlled natural language. PhD thesis, University of Bonn (2013)
2. Eberl, M.: Furstenberg’s topology and his proof of the infinitude of primes. Archive of Formal Proofs (March 2020). https://isa-afp.org/entries/Furstenberg_Topology.html
3. Frerix, S., Koepke, P.: Automatic proof-checking of ordinary mathematical texts. In: Proceedings of the Workshop Formal Mathematics for Mathematicians (2018)
4. Furstenberg, H.: On the infinitude of primes. Am. Math. Monthly 62(5), 353 (1955)
5. Hersh, R.: What is Mathematics, Really?. Oxford University Press, Oxford (1997)