OPAM friendly version of the Coq development accompanying the paper Regular Language Representations in the Constructive Type Theory of Coq. Now obsoleted by Christian Doczkal's repository.
This repository was archived by the owner on Sep 24, 2018. It is now read-only.
proofengineering/reglang
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|