Difference between propositionals True/False and booleans true/false in Coq

Question

The definition for the booleans true/false and their link with the propositional types True/False is described in Coq.Bool.Bo