Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
iris.v
Find file
Blame
History
Permalink
Proved the Hoare triple rules, except the one about timeless props.
· 594a1dd0
Filip Sieczkowski
authored
Jun 05, 2014
594a1dd0