Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
algebra
upred.v
Find file
Blame
History
Permalink
Only one direction of assoc and comm for separating conjunction is needed.
· b20fd842
Robbert Krebbers
authored
Oct 14, 2016
b20fd842