Coq on Sol ( COQ)