[Why3-club] permut fix

Jean-Jacques Levy jean-jacques.levy at inria.fr
Tue Mar 11 07:33:51 CET 2014

Hi Why3 Friends!

following problem of early February, is there a fix for a consistent theory of permutations on arrays ? I tried to work with ‘numof’, but it’s always uneasy Coq proofs with that strange ‘pr’ Parameter!!

Thanks for quick answer,

Best, -JJ-

More information about the Why3-club mailing list