Buchberger, B., Jebelean, T., Kutsia, T., Maletzky, A., & Windsteiger, W. (2016). Theorema 2.0: Computer-Assisted Natural-Style Mathematics. Journal of Formalized Reasoning, 9(1), 149–185. https://doi.org/10.6092/issn.1972-5787/4568