Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
program_logic
invariants.v
Find file
Blame
History
Permalink
Remove more laters in rules for opening timeless invariants.
· 100c75d6
Robbert Krebbers
authored
Mar 16, 2016
100c75d6