Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
theories
program_logic
weakestpre.v
Find file
Blame
History
Permalink
Merge branch 'ralf/into_val' into 'gen_proofmode'
· a4731f4c
Ralf Jung
authored
Jun 18, 2018
change IntoVal so that it is easier to use in specs See merge request FP/iris-coq!159
a4731f4c