Coq backend: the fuel parameter is now given as the logarithm of the maximal number of steps.

Status Job ID Name Coverage
  Test
passed #287886
pages

00:00:33

 
  Deploy
passed pages:deploy

00:00:00