Skip to content
GitLab
Explore
Sign in
Adam
Iris
Repository
iris
iris
algebra
ofe.v
Find file
Blame
History
Permalink
Add a `Proper` instance for ccompose.
· 9fb6751e
Dan Frumin
authored
May 27, 2021
9fb6751e