- 06 Jun, 2021 5 commits
-
-
Dan Frumin authored -
Dan Frumin authored
-
Dan Frumin authored
-
Ralf Jung authored -
Ralf Jung authored
-
- 05 Jun, 2021 1 commit
-
-
Ralf Jung authored
-
- 04 Jun, 2021 4 commits
-
-
Robbert Krebbers authored
More missing `Hint Mode`s. See merge request iris/stdpp!271
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 03 Jun, 2021 4 commits
-
-
Ralf Jung authored
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- 02 Jun, 2021 15 commits
-
-
Ralf Jung authored
Add lemma `set_fold_disj_union_strong`. See merge request iris/stdpp!267
-
-
Robbert Krebbers authored
Add a few lemmas See merge request iris/stdpp!266
-
Robbert Krebbers authored
Add function `map_kmap` that transforms the keys of a finite map. See merge request iris/stdpp!265
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Thanks to @tchajed for pointing out the omission.
-
Robbert Krebbers authored
Various improvements to `Permutation` lemmas and instances See merge request iris/stdpp!270
-
- 01 Jun, 2021 9 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Rename `Permutation_nil` and `Permutation_singleton` into `Permutation_nil_r` and `Permutation_singleton_r`. Add lemmas `Permutation_nil_l` and `Permutation_singleton_l`.
-
Robbert Krebbers authored
Naming scheme: `operation_Permutation_{Proper,inj,inj_l,inj_r}`. -
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 31 May, 2021 1 commit
-
-
Robbert Krebbers authored
-
- 28 May, 2021 1 commit
-
-
Ralf Jung authored
-
