Merge requests · Iris / stdpp

add opose proof, odestruct, ospecialize tactics

!512 · created Sep 27, 2023 by Ralf Jung
- 1
updated Sep 27, 2023
add some number instances for Assoc, Comm, ...

!513 · created Sep 27, 2023 by Ralf Jung
- 1
updated Sep 27, 2023
Finite map composition

!459 · created Mar 29, 2023 by Dorian Lesbre
- 14
updated Sep 27, 2023
Add MRaise typeclass

!501 · created Aug 30, 2023 by Thibaut Pérami
- 20
updated Sep 27, 2023
Replace `MGuard` with `MFail`

!488 · created Jul 26, 2023 by Adam
updated Sep 27, 2023
Draft: add lemma lookup_insert_eq

!507 · created Sep 13, 2023 by Ralf Jung
- 4
updated Sep 21, 2023
solve_proper: add support for subrelation

!495 · created Aug 08, 2023 by Ralf Jung
- 4
updated Aug 27, 2023
Use hint mode + more often

!435 · created Dec 15, 2022 by Robbert Krebbers
S-waiting-for-author
- 2
updated May 02, 2023
add basic list functionality with Z-based indexing

!439 · created Jan 09, 2023 by Ralf Jung
updated Mar 23, 2023
Draft: Very preliminary version of a quick start guide for sets.

!372 · created Apr 08, 2022 by Robbert Krebbers
S-waiting-for-author
- 17
updated Feb 06, 2023
Add some _1, _2 lemmas for map_filter

!394 · created Jul 26, 2022 by Michael Sammler
S-waiting-for-review
updated Nov 23, 2022
Add lemmas `set_fold_union_strong` and `set_fold_union`.

!417 · created Sep 23, 2022 by Robbert Krebbers
S-waiting-for-author
- 10
updated Nov 23, 2022
Added some lemmas about [sublist]

!357 · created Jan 12, 2022 by Jonas Kastberg
S-waiting-for-review
updated Aug 29, 2022