team-worthwhile/worthwhile — Issue #97: Signal and display the assertion the prover is currently verifying
Author: bafain
Created: 2012-02-24 01:43:28+00:00
State: open
Labels: prover, ui