team-worthwhile/worthwhile — Issue #50: SpecificationChecker::checkFormula environment is lacking axioms List
Author: bafain
Created: 2012-02-16 17:31:47+00:00
State: open
Labels: prover