Skip to content
GitLab
Explore
Sign in
Simon Hudon
Iris
Repository
iris
theories
algebra
ofe.v
Find file
Blame
History
Permalink
Another failed approach to avoid declaring other projections than the carrier as canonical.
· a9e2d8f3
Robbert Krebbers
authored
Feb 02, 2017
a9e2d8f3