Bibliothèque Coq inspirée du Prelude Haskell, conçue pour simplifier le développement de logiciels et offrir des fonctionnalités telles que la gestion de l'égalité, des types de chaînes de caractères alternatifs et une hiérarchie de typeclasses Monad.