search

MonoidalAttackTrees / ILL-Impl

Implementation of a term assignment for intuitionistic linear logic
0 stars 0 forks source link

Test 2 #2

Closed heades closed 8 years ago

heades commented 8 years ago

@heades blah