Beautiful Formalizations in Isabelle/Naproche. - Adrian De Lon; Peter Koepke; Anton Lorenzen; Adrian Marti; Marcel Schütz; Erik Sturzenhecker (CICM, 2021)