[oracle_insurance|paper] add specification

2 jobs for prove_orcle_insurance in 4 minutes and 44 seconds (queued for 6 seconds)
latest
Status Job ID Name Coverage
  Build
passed #215424304
coq:8.8

00:03:45

passed #215424305
coq:8.9

00:04:43