Natural Typesetting of Naproche Formalizations in LaTeX (short paper). - Peter Koepke; Tim Lichtnau; Jonas Lippert (CICM Workshops, 2021)