Formalizing the Solow Model in $ mathbb {N}$aproche. - Peter Koepke; Patrick Schäfer 007 (CICM, 2025)