coq-parser(1) Coq parser

SYNOPSIS

coq-parser [ options ]

DESCRIPTION

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.