..

parent 7cacfb28
Version|coq-reglang|1
Author|coq-reglang|Christian Doczkal <christian.doczkal@ens-lyon.fr>
License|coq-reglang|CeCILL-B
Keyword|coq-reglang|regular languages
Keyword|coq-reglang|regular expressions
Keyword|coq-reglang|finite automata
Keyword|coq-reglang|two-way automata
Keyword|coq-reglang|monadic second-order logic
Category|coq-reglang|Computer Science/Formal Languages Theory and Automata
Homepage|coq-reglang|https://github.com/chdoc/coq-reglang
Depends|coq-reglang|ocaml
Depends|coq-reglang|coq
Depends|coq-reglang|coq-mathcomp-ssreflect
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment