Tested with The Coq Proof Assistant, version 8.11.2.
Run make from this directory before creating any new lexers.
The Verbatim directory contains the core project files.
The Examples directory contains an instantiated JSON lexer as well as instructions for creating new lexers.