- 03 Dec, 2021 2 commits
- 02 Dec, 2021 1 commit
-
-
Robbert Krebbers authored
`zip_with_take_{l,r,both}{,'}` (was: Add lemma `zip_with_take_both`) See merge request iris/stdpp!339
-
- 01 Dec, 2021 8 commits
-
-
Ralf Jung authoredsome more lemmas about list folding See merge request iris/stdpp!343
-
-
Glen Mével authored
-
Glen Mével authored
-
Glen Mével authored
-
Michael Sammler authored
-
Michael Sammler authored
Add bool_to_Z See merge request iris/stdpp!341
-
Michael Sammler authored
-
- 30 Nov, 2021 1 commit
-
-
Ralf Jung authored
-
- 26 Nov, 2021 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
Lemmas for lookup on mjoin See merge request iris/stdpp!340
-
Michael Sammler authored
-
- 24 Nov, 2021 4 commits
-
-
Robbert Krebbers authored
Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some See merge request iris/stdpp!338
-
Robbert Krebbers authored
Upstreaming a small collection of lemmas See merge request iris/stdpp!337
-
Michael Sammler authored
-
Michael Sammler authored
-
- 23 Nov, 2021 2 commits
-
-
Ralf Jung authored
Fix coq-lint.sh on macOS See merge request iris/stdpp!336
-
Tej Chajed authored
On macOS, egrep does not support empty subexpressions in a regex OR.
-
- 22 Nov, 2021 1 commit
-
-
Robbert Krebbers authored
Add lemma `map_subseteq_inv`. See merge request iris/stdpp!335
-
- 18 Nov, 2021 1 commit
-
-
Robbert Krebbers authored
-
- 15 Nov, 2021 2 commits
- 13 Nov, 2021 2 commits
-
-
Ralf Jung authored
normalize for Fail printing locations See merge request iris/stdpp!334
-
Ralf Jung authored
-
- 08 Nov, 2021 1 commit
-
-
Ralf Jung authored
-
- 05 Nov, 2021 10 commits
-
-
Ralf Jung authored
-
-
Ralf Jung authored
-
Ralf Jung authored
std++ 1.6.0 release notes Closes #119 See merge request iris/stdpp!333
-
-
Ralf Jung authored
-
Ralf Jung authored
countable.v: prove choose_proper See merge request iris/stdpp!327
-
-
Paolo G. Giarrusso authored
-
-
- 04 Nov, 2021 1 commit
-
-
Paolo G. Giarrusso authored
-
