Merge branch 'ralf/telescopes' into 'master'

add telescopic versions of the Coq quantifiers

See merge request robbertkrebbers/coq-stdpp!34
7 jobs for master in 14 minutes and 24 seconds
Status Job ID Name Coverage
  Build
passed #13654
fp
build-coq.8.6.0

00:02:58

passed #13653
fp
build-coq.8.6.1

00:03:30

passed #13652
fp
build-coq.8.7.0

00:03:28

passed #13651
fp
build-coq.8.7.1

00:02:51

passed #13650
fp-timing
build-coq.8.7.2

00:02:56

passed #13649
fp
build-coq.8.8.0

00:02:50

passed #13648
fp
build-coq.dev

00:14:24