Formal Languages in Coq