Skip to content
GitLab
Explore
Sign in
Iris
transfinite
Repository
transfinite
theories
program_logic
weakestpre.v
Find file
Blame
History
Permalink
gstep rule
· 904f6c86
Simon Spies
authored
Dec 08, 2020
904f6c86