#

regular-languages

Here is 1 public repository matching this topic...

coq-community / reglang

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

regexp coq regular-languages ssreflect mathcomp docker-coq-action coq-nix-toolbox coq-platform mathcomp-ci

Updated Jul 22, 2024
Coq

Improve this page

Add a description, image, and links to the regular-languages topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the regular-languages topic, visit your repo's landing page and select "manage topics."