GitHub repository: JasonGross/parsing-parses
Primary language: Coq
Created: 2015-03-28T18:26:03Z
Description: A dependently typed parser that parses parse trees to prove itself sound and complete