Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
coq-iris.opam
Find file
Blame
History
Permalink
Replace some uses of `set_solver` by `multiset_solver`.
· 6bf5566f
Robbert Krebbers
authored
Mar 13, 2021
6bf5566f