Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
base_logic
derived.v
Find file
Blame
History
Permalink
add derived soundness_bupd matching soundness_later
· d840f8cb
Ralf Jung
authored
Mar 29, 2019
d840f8cb