@InProceedings{DelKoeLorMarSchWen2021:TheIsaNapNatLanProAss,
	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}
}