team-worthwhile/worthwhile — Issue #81: Stackoverflow error when trying to prove bubblesort.ww
Author: bafain
Created: 2012-02-20 18:49:37+00:00
State: open
Labels: prover