Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
program_logic
weakestpre.v
Find file
Blame
History
Permalink
Write `wp_strong_mono` in a curried way.
· 76e5e029
Robbert Krebbers
authored
Jan 10, 2018
76e5e029