├── .github └── workflows │ ├── docker-action.yml │ ├── nix-action-8.16.yml │ └── nix-action-8.17.yml ├── .gitignore ├── .nix ├── config.nix └── coq-nix-toolbox.nix ├── LICENSE ├── Makefile ├── Makefile.coq.local ├── README.md ├── _CoqProject ├── coq-reglang.opam ├── default.nix ├── dune-project ├── extra ├── LICENSE.coqdocjs ├── config.js ├── coqdoc.css ├── coqdocjs.css ├── coqdocjs.js ├── footer.html ├── header.html ├── index.html └── index.md ├── meta.yml └── theories ├── dfa.v ├── dune ├── languages.v ├── minimization.v ├── misc.v ├── myhill_nerode.v ├── nfa.v ├── regexp.v ├── setoid_leq.v ├── shepherdson.v ├── two_way.v ├── vardi.v └── wmso.v /.github/workflows/docker-action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/.github/workflows/docker-action.yml -------------------------------------------------------------------------------- /.github/workflows/nix-action-8.16.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/.github/workflows/nix-action-8.16.yml -------------------------------------------------------------------------------- /.github/workflows/nix-action-8.17.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/.github/workflows/nix-action-8.17.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/.gitignore -------------------------------------------------------------------------------- /.nix/config.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/.nix/config.nix -------------------------------------------------------------------------------- /.nix/coq-nix-toolbox.nix: -------------------------------------------------------------------------------- 1 | "4e48948fa8252a2fc755182abdd4b199f4798724" 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.coq.local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/Makefile.coq.local -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/_CoqProject -------------------------------------------------------------------------------- /coq-reglang.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/coq-reglang.opam -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/default.nix -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/dune-project -------------------------------------------------------------------------------- /extra/LICENSE.coqdocjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/LICENSE.coqdocjs -------------------------------------------------------------------------------- /extra/config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/config.js -------------------------------------------------------------------------------- /extra/coqdoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/coqdoc.css -------------------------------------------------------------------------------- /extra/coqdocjs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/coqdocjs.css -------------------------------------------------------------------------------- /extra/coqdocjs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/coqdocjs.js -------------------------------------------------------------------------------- /extra/footer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/footer.html -------------------------------------------------------------------------------- /extra/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/header.html -------------------------------------------------------------------------------- /extra/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/index.html -------------------------------------------------------------------------------- /extra/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/extra/index.md -------------------------------------------------------------------------------- /meta.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/meta.yml -------------------------------------------------------------------------------- /theories/dfa.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/dfa.v -------------------------------------------------------------------------------- /theories/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/dune -------------------------------------------------------------------------------- /theories/languages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/languages.v -------------------------------------------------------------------------------- /theories/minimization.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/minimization.v -------------------------------------------------------------------------------- /theories/misc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/misc.v -------------------------------------------------------------------------------- /theories/myhill_nerode.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/myhill_nerode.v -------------------------------------------------------------------------------- /theories/nfa.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/nfa.v -------------------------------------------------------------------------------- /theories/regexp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/regexp.v -------------------------------------------------------------------------------- /theories/setoid_leq.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/setoid_leq.v -------------------------------------------------------------------------------- /theories/shepherdson.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/shepherdson.v -------------------------------------------------------------------------------- /theories/two_way.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/two_way.v -------------------------------------------------------------------------------- /theories/vardi.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/vardi.v -------------------------------------------------------------------------------- /theories/wmso.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/reglang/HEAD/theories/wmso.v --------------------------------------------------------------------------------