Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
examples
Repository
examples
theories
logatom
snapshot
atomic_snapshot.v
Find file
Blame
History
Permalink
Correct use of iris-string-ident
· b80f15df
Paolo G. Giarrusso
authored
Apr 29, 2020
Using plain `Require` is unsupported, as discussed in
string-ident!3
.
b80f15df