The Isabelle/Naproche Natural Language Proof Assistant. - Adrian De Lon; Peter Koepke; Anton Lorenzen; Adrian Marti; Marcel Schütz; Makarius Wenzel (CADE, 2021)

Beautiful Formalizations in Isabelle/Naproche. - Adrian De Lon; Peter Koepke; Anton Lorenzen; Adrian Marti; Marcel Schütz; Erik Sturzenhecker (CICM, 2021)

Term Extraction for Domain Modeling. - Theresa Kruse; Dominic Lohr; Marc Berges; Michael Kohlhase; Halimeh Moghbeli; Marcel Schütz (DeLFI, 2024)

Reusing Learning Objects via Theory Morphisms. - Michael Kohlhase; Marcel Schütz (CICM, 2024)