Jan Frederik Schaefer, Kai Amann, Michael Kohlhase. Prototyping Controlled Mathematical Languages in Jupyter Notebooks. In Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Volume 12097 of Lecture Notes in Computer Science, pages 406-415, Springer, 2020. [doi]
Abstract is missing.