Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. - Kai Obendrauf; Anne Baanen; Patrick Koopmann; Vera Stebletsova (ITP, 2024)