Skip to content
GitLab
Explore
Sign in
George Pirlea
Iris
Repository
iris
theories
bi
derived.v
Find file
Blame
History
Permalink
The bare modality is also persistent.
· 0f2f51ba
Robbert Krebbers
authored
Aug 31, 2017
0f2f51ba