1. Asperti, A., Coen, C.S., Tassi, E., Zacchiroli, S.: User interaction with the matita proof assistant. J. Autom. Reasoning 39, 109–139 (2007)
2. Cantor, G.: Ein beitrag zur mannigfaltigkeitslehre. J. für die reine und angewandte Mathematik 1878(84), 242–258 (1878)
3. Carneiro, M.: Computability.primrec. https://leanprover-community.github.io/mathlib_docs/computability/primrec.html
4. Carneiro, M.: Formalizing computability theory via partial recursive functions. In: 10th International Conference on Interactive Theorem Proving, ITP 2019, 9–12 September 2019, Portland, OR, USA, pp. 12:1–12:17 (2019)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L de Moura,2015