[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Colour bar for ground truth theorems has fractions



The precision/recall graph for QuickSpec has 0.0, 0.25, etc. which is
meaningless since this is an integer-valued quantity.