There are a couple of notions of truthiness in Coq. For example Prop and bool.
bool and PropOne advantage of Prop over bool is that Prop is essentially a built in which works well with tactics like rewrite in the case of equality.
Type and PropTerm erasing