Le 28/03/2021 à 11:41, Junon a écrit :
I can't seem to get why3 + Alt Ergo to run the Einstein's Logic Problem
example. It seems as though the processed Why script is missing a few `axiom`
keywords where Cloning occurs.
The issue is much simpler. Alt-Ergo now recognizes "of" as a keyword, so
I can't seem to get why3 + Alt Ergo to run the Einstein's Logic Problem
example. It seems as though the processed Why script is missing a few `axiom`
keywords where Cloning occurs.
Am I doing something wrong? Or is this a bug with Why3?
Here's a self-contained Dockerfile that includes all of th
