temporary link to prophecy MR, until we can reference a paper instead

6 jobs for master in 13 minutes and 54 seconds (queued for 13 seconds)
Status Job ID Name Coverage
  Build
passed #34156
fp
build-coq.8.10.dev

00:12:30

passed #34160
fp
build-coq.8.7.2

00:05:35

passed #34159
fp
build-coq.8.8.2

00:06:23

passed #34158
fp-timing
build-coq.8.9.0

00:05:36

passed #34157
fp
build-coq.8.9.1

00:06:50

passed #34155
fp
build-coq.dev

00:13:54