add examples section

5 jobs for master
Status Job ID Name Coverage
  Build
canceled #6609
fp-timing
build-coq.8.6.1

canceled #6608
fp-timing
build-coq.8.7.0

 
  Deploy
canceled #6610
opam

canceled #6611
reverse-deps

 
  Build More
canceled #6612
fp-timing
build-coq.8.7.dev