Agda formalization of the Attack Tree Linear Logic
Primary LanguageAgda
No issues in this repository yet.