Add bool_to_Z

2 jobs for !341 with msammler/bool_to_Z in 4 minutes and 41 seconds (queued for 13 seconds)
detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #160582
fp

00:04:40

passed build-coq.8.14.1-mr #160581
fp

00:04:15