Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Primary LanguageCoqOtherNOASSERTION