Proofmode clear intro pattern {H1 ... H2} like ssreflect.

1 job for master
Status Job ID Name Coverage
  Test
passed #373
coq
buildjob

00:03:26