- Jan 11, 2022
-
-
Robbert Krebbers authored
Declare `equiv` as a rightful rewrite relation, when an `Equiv` instance is available. See merge request iris/stdpp!273
-
-
- Dec 22, 2021
-
-
Robbert Krebbers authored
add some lemmas about `Finite` and `pred_finite` See merge request iris/stdpp!351
-
- Dec 21, 2021
-
-
Glen Mével authored
-
Glen Mével authored
-
Glen Mével authored
Also, rename `dec_pred_finite{,_set}` to `dec_pred_finite{,_set}_alt`. -
Glen Mével authored
-
-
-
Glen Mével authored
-
- Dec 16, 2021
-
-
Robbert Krebbers authored
Add tactics `destruct select <pat>` and `destruct select <pat> as <intro_pat>`. See merge request iris/stdpp!352
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Dec 13, 2021
-
-
Robbert Krebbers authored
remove a Global Arguments Pos.of_nat from the middle of a proof See merge request iris/stdpp!350
-
Ralf Jung authored
-
- Dec 09, 2021
-
-
Robbert Krebbers authored
Homomorphism properties for `bool_decide` + rename (bool_)decide_iff. See merge request iris/stdpp!348
-
- Dec 08, 2021
-
-
Ralf Jung authored
Fix list_fmap_inj_1 See merge request iris/stdpp!349
-
Michael Sammler authored
-
Ralf Jung authored
-
- Dec 07, 2021
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
add bool_decide_negb See merge request iris/stdpp!347
-
Robbert Krebbers authored
Add is_closed_term tactic See merge request iris/stdpp!345
-
Michael Sammler authored
-
Robbert Krebbers authored
Avoid using Arith libraries deprecated in v8.16 See merge request iris/stdpp!346
-
- Dec 06, 2021
-
-
Ralf Jung authored
-
-
Robbert Krebbers authored
Add list_fmap_inj1, Z_to_little_endian_lookup_Some and little_endian_to_Z_spec See merge request iris/stdpp!344
-
Ralf Jung authored
-
Tej Chajed authored
-
Tej Chajed authored
-
- Dec 04, 2021
-
-
Ralf Jung authored
-
- Dec 03, 2021
-
-
Michael Sammler authored
-
-
Michael Sammler authored
-
Ralf Jung authored
drop support for Coq 8.10 See merge request iris/stdpp!342
-
Ralf Jung authored
-
Ralf Jung authored
-
