> Le 4 déc. 2020 à 12:00, why3-club-requ...@lists.gforge.inria.fr a écrit :
>
>
> Le 03/12/2020 à 09:24, Sandrine Blazy a écrit :
>
>> My other question is about TryWhy3: which version of why3 does it use?
>
> I am updating it at the time of release. So, it should be 1.3.3.
Thanks!
I managed to solve my other issue: I used why3 config —detect-provers
(instead of why3 config --add-prover …) to install all the provers.
Now all provers are detected by the proof strategies.
Best,
Sandrine
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club