issues
search
ssomayyajula
/
equiv
Equivalence in NetKAT modulo specifications
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Spec star and times derivatives broken
#2
ssomayyajula
opened
7 years ago
0
`Expand` functor broken
#1
ssomayyajula
opened
7 years ago
1