Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
modures
logic.v
Find file
Blame
History
Permalink
Define Timeless in the logic.
· 068dd357
Robbert Krebbers
authored
Jan 14, 2016
Sadly, timelessness of many connectives is still proved in the model.
068dd357