[Why3-club] lemma visibility

Mohamed Iguernlala iguer.auto at gmail.com
Thu Jan 24 14:50:33 CET 2019


On 24/01/2019 14:37, Julia Lawall wrote:
> Are there some particular arguments that why3 provides to alt-ergo?  Now I
> am just running a proof in altgr-ergo, and it has been running for more
> than 5 minutes with no result - it looks like an infinite loop.  But from
> within why3, the lemma is accepted in around 30 seconds.
In Why3 IDE settings, change the default editor of Alt-Ergo
from "AltGr-Ergo" to "Default Editor". I missed this step in my
previous message :-/


More information about the Why3-club mailing list