[Why3-club] lemma visibility

Julia Lawall julia.lawall at lip6.fr
Thu Jan 24 15:03:58 CET 2019



On Thu, 24 Jan 2019, Mohamed Iguernlala wrote:

> 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 :-/

OK, actually I tried to change it to emacs, but it stayed being
altgr-ergo, so I decided to try it out.

julia


More information about the Why3-club mailing list