Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
examples
Repository
examples
theories
proph
lib
one_shot_proph.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