Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. - Asta Halkjær From; Agnes Moesgård Eschen; Jørgen Villadsen (CICM, 2021)