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. Best regards, Guillaume _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
