Isabelle/HOL formalizations related to the AuReLeE project
Formalization of Abstract Argumentation Frameworks
See AbstractArgumentation
folder for the most recent Isabelle/HOL sources. See AF-old
folder for the (by now outdated) sources for the LNGAI workshop paper.