@InProceedings{SchDelKoe2022:SetUpSetTheFouInNap,
	author={Schütz, Marcel and De Lon, Adrian and Koepke, Peter},
	editor={Buzzard, Kevin and Kutsia, Temur},
	title={Setting up Set-Theoretical Foundations in {Naproche}},
	booktitle={Work-in-progress papers presented at the 15th Conference on Intelligent Computer Mathematics, {CICM} 2022 (Informal Proceedings)},
	year={2022},
	pages={52--64}
}