@InProceedings{2021Naproche,
author="De Lon, Adrian
and Koepke, Peter
and Lorenzen, Anton
and Marti, Adrian
and Schütz, Marcel
and Wenzel, Makarius",
editor="Platzer, André
and Sutcliffe, Geoff",
title="The Isabelle/Naproche Natural Language Proof Assistant",
booktitle="Automated Deduction -- CADE 28",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="614--624",
isbn="978-3-030-79876-5"
}