Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
algebra
option.v
Find file
Blame
History
Permalink
Simplify compl on excl, one_shot and option.
· 6f0a48a3
Robbert Krebbers
authored
Mar 19, 2016
6f0a48a3