algebra · ff935fd4a4e072e026760a2eac9b9196e0ca74c8 · William Mansky / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

5993 commits behind the upstream repository.

Fix the lemma Some_included' for total CMRAs.

Robbert Krebbers authored 8 years ago

fc77fc3a

fc77fc3a 8 years ago

Name	Last commit	Last update
..
agree.v
auth.v
base.v
cmra.v
cmra_big_op.v
cmra_tactics.v
coPset.v
cofe.v
cofe_solver.v
csum.v
dec_agree.v
double_negation.v
dra.v
excl.v
frac.v
gmap.v
gset.v
iprod.v
list.v
local_updates.v
sts.v
updates.v
upred.v
upred_big_op.v
upred_hlist.v
upred_tactics.v