/RGCoq

Formalization of Regular Languages Theory formalisms such as Regular Grammars and Finite Automata in the Coq proof assistant.

Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1

Stargazers