Hets - the Heterogeneous Tool Set

Safe HaskellNone

PGIP.Output.Formatting

Documentation

mkNiceProverName :: String -> String Source #

showProversOnly :: [(AnyComorphism, [String])] -> [String] Source #