Interpreting Mathematical Texts in Naproche-SAD. - Adrian De Lon; Peter Koepke; Anton Lorenzen (CICM, 2020)

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

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche. - Adrian De Lon; Peter Koepke; Anton Lorenzen (ITP, 2021)

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

The Naproche-ZF Theorem Prover (Short Paper). - Adrian De Lon (IJCAR (1), 2024)