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.
aureleenet / formalizations Goto Github PK
View Code? Open in Web Editor NEWThis repository collects project-relevant Isabelle/HOL formalizations.