Prove stronger versions of `Persistent (P -∗ Q)` and `Plain (P -∗ Q)`.

2 jobs for gen_proofmode in 7 minutes and 8 seconds (queued for 2 minutes and 33 seconds)
Status Job ID Name Coverage
  Deploy
passed #6156
opam

00:00:15

 
  Build More
passed #6157
fp-timing
build-coq.8.7.dev

00:06:53