Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
iris
Repository
iris
iris
algebra
big_op.v
Find file
Blame
History
Permalink
Mode for Equiv
· 5f5c02af
Paolo G. Giarrusso
authored
May 28, 2021
Include workaround for Coq bug #14441, and drop now-failing test for that Coq bug.
5f5c02af