GitHub repository: liyishuai/coq-parsec
Primary language: Coq
Created: 2020-09-24T00:19:49Z
Description: Monadic parser combinator library in Coq