Merge branch 'robbert/pred_infinite' into 'master'

Notion of (in)finite predicates

See merge request !56
8 jobs for master in 7 minutes and 27 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #24841
fp
build-coq.8.7.0

00:02:45

passed #24840
fp
build-coq.8.7.1

00:02:48

passed #24839
fp
build-coq.8.7.2

00:02:50

passed #24838
fp-timing
build-coq.8.8.0

00:02:45

passed #24837
fp
build-coq.8.8.1

00:03:13

passed #24836
fp
build-coq.8.8.2

00:03:09

passed #24835
fp-timing
build-coq.8.9.0

00:03:31

passed #24834
fp
build-coq.dev

00:04:37