[Why3-club] lemma visibility

Julia Lawall julia.lawall at lip6.fr
Thu Jan 24 14:37:52 CET 2019


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.

julia


More information about the Why3-club mailing list