/ATLL-Formalization

Agda formalization of the Attack Tree Linear Logic

Primary LanguageAgda

The Formalization of the Semantics of the Attack Tree Linear Logic