always add Proof. after Restart.

See merge request iris/stdpp!547

Add `inv select` and `inversion select` tactics

See merge request iris/stdpp!546

Cleanup bitblast_mod after dropping support for Coq 8.13

See merge request iris/stdpp!543

Fix slowdown in bv_saturate from https://github.com/coq/coq/pull/17984

See merge request !541

Allow pattern and type annotations in propset notation

See merge request iris/stdpp!533

Add lemma `join_app`.

See merge request iris/stdpp!540

Adapt to https://github.com/coq/coq/pull/18590

See merge request iris/stdpp!537

drop support for Coq 8.16 and 8.17

See merge request iris/stdpp!539

test on Coq 8.19

See merge request iris/stdpp!538

Adapt to https://github.com/coq/coq/pull/18224

See merge request iris/stdpp!536

Remove Import NPeano

See merge request iris/stdpp!535

Make `inv` and `oinv` work with numbers

Closes #199

See merge request !534

Add `prod_swap` and some basic results for it.

See merge request !529

Missing `Params` instances for `prod_map` and `prod_zip`.

See merge request !528