Personal tools
You are here: Home / Publications / Refereed Publications / B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky and W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics

B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky and W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics

In Journal of Formalized Reasoning, volume 9, number 1, pages 149-185, 2016.