Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
modures
logic.v
Find file
Blame
History
Permalink
Prove some lemmas about uPred that I am used to
· 951d8927
Ralf Jung
authored
Jan 25, 2016
I planned to use them to simplify wsat_le, but it did not turn out to be simpler.
951d8927