Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
program_logic
weakestpre.v
Find file
Blame
History
Permalink
Remove unused lemmas wp_impl_{l,r}.
· 97ba3264
Robbert Krebbers
authored
Apr 08, 2016
And introduce more useful variants with a wand.
97ba3264