Some parts of formal language theory in Coq
Primary LanguageCoqApache License 2.0Apache-2.0
Some parts of formal languge theory in Coq.
More details here.