- 08 Apr, 2021 3 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Future proof rotate_nat_add_add_mod See merge request !240
-
-
- 23 Mar, 2021 1 commit
-
-
- 22 Mar, 2021 3 commits
-
-
Robbert Krebbers authored
surjective_finite See merge request !238
-
Alix Trieu authored
-
Alix Trieu authored
-
- 19 Mar, 2021 5 commits
-
-
Robbert Krebbers authored
Fix finite map notations for Coq < 8.13 See merge request !237
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Finite map notations See merge request iris/stdpp!236
-
-
- 15 Mar, 2021 2 commits
-
-
Robbert Krebbers authored
Add more underscores to f_equiv See merge request iris/stdpp!235
-
Michael Sammler authored
-
- 14 Mar, 2021 15 commits
-
-
Ralf Jung authoredsome map lemmas See merge request iris/stdpp!234
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- 13 Mar, 2021 2 commits
-
-
Robbert Krebbers authored
Many improvements to `multiset_solver` See merge request !231
-
Robbert Krebbers authored
-
- 12 Mar, 2021 9 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Turn `x ∈ X` only into `0 < multiplicity x X` at leaves of `∈` to enable better first-order reasoning.
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
