MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
GitHub repository with 5 stars and 0 forks.
Language: Agda
Latest metric snapshot
2026-07-15: 5 stars and 0 forks.
Agda formalization of the Attack Tree Linear Logic
GitHub repository with 5 stars and 0 forks.
Language: Agda
2026-07-15: 5 stars and 0 forks.