coq-parser.opt1
Coq parser
Part of coq-parser(1).
Usage
coq-parser [options]
Overview
parser is a program reading Coq proof developments and outputing them in the structured format given in the INRIA technical report RT154. This program is not for the casual user.