A Meta Language for Mathematical Reasoning. - Michael Junk; Stefan Hölle (CICM Workshops, 2018)

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. - Michael Junk; Stefan Hölle; Sebastian Sahli (CICM, 2018)

Numerical MATh. - Michael Junk; Stefan Hölle (CICM Workshops, 2019)