/coq-parser-validator

Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator

Primary LanguageCoq

Stargazers