Merge branch 'ralf/telescopes' into 'master'

add telescopes and a bit of theory about them

See merge request robbertkrebbers/coq-stdpp!33
7 jobs for master in 14 minutes and 11 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #13449
fp
build-coq.8.6.0

00:02:59

passed #13448
fp
build-coq.8.6.1

00:03:30

passed #13447
fp
build-coq.8.7.0

00:03:27

passed #13446
fp
build-coq.8.7.1

00:02:54

passed #13445
fp-timing
build-coq.8.7.2

00:02:55

passed #13444
fp
build-coq.8.8.0

00:02:53

passed #13443
fp
build-coq.dev

00:14:10