Topic: "dialectica-spaces"
MonoidalAttackTrees/ATLL-Formalization
Agda formalization of the Attack Tree Linear Logic
Language: Agda - Size: 115 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 0
heades/dialectica-spaces
This is a formalization of dialectica spaces.
Language: Agda - Size: 95.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
