Prove functional spec of guestbook contract and simple lifetime prop

Status Job ID Name Coverage
  Build
passed #492627372
coq:8.10

00:07:29

passed #492627370
coq:8.8

00:07:26

passed #492627371
coq:8.9

00:07:30