team-worthwhile/worthwhile — Issue #99: Interpreter should pass axioms to prover
Author: leonhandreke
Created: 2012-02-24 14:31:47+00:00
State: open

When calling `checkFormula`, the interpreter should pass all `_axiom`s specified in the program to the prover.