team-worthwhile/worthwhile — Issue #82: Multiple quantifiers for equal variables when trying to prove automaton.ww
Author: bafain
Created: 2012-02-20 18:50:22+00:00
State: open
Labels: prover