jesse-michael-han / colada-parser

A parser for Colada, a controlled natural language for the calculus of inductive constructions