@InProceedings{DelKoeLorMarSchStu2021:BeaForInIsaNap,
	author={De Lon, Adrian and Koepke, Peter and Lorenzen, Anton and Marti, Adrian and Schütz, Marcel and Sturzenhecker, Erik},
	editor={Kamareddine, Fairouz and Sacerdoti Coen, Claudio},
	title={Beautiful Formalizations in {Isabelle}/{Naproche}},
	booktitle={Intelligent Computer Mathematics},
	year={2021},
	publisher={Springer International Publishing},
	address={Cham},
	pages={19--31}
}