Data.SBV.Examples.Uninterpreted.Function

f

thmGood

thmBad

yicesSMT09

Inspecting symbolic traces