Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Sadly, timelessness of many connectives is still proved in the model.
Robbert Krebbers authoredSadly, timelessness of many connectives is still proved in the model.
