Peter Koepke. Textbook Mathematics in the Naproche-SAD System. In Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller 0001, Karol Pak, Claudio Sacerdoti Coen, editors, Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. Volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]