MonoidalAttackTrees/ATLL-Formalization: Agda formalization of the Attack Tree Linear Logic · GitHub

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
README.md		README.md
filter-semantics-collapse.agda		filter-semantics-collapse.agda
filter-semantics.agda		filter-semantics.agda
filter-thms-collapse.agda		filter-thms-collapse.agda
filter-thms.agda		filter-thms.agda
ideal-semantics.agda		ideal-semantics.agda
ideal-thms.agda		ideal-thms.agda
prelude.agda		prelude.agda
quaternary-semantics.agda		quaternary-semantics.agda
quaternary-thms.agda		quaternary-thms.agda