coq-parser.opt

Langue: en

Version: 262234 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

NAME

coq-parser - 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.

SEE ALSO

coq-interface(1), coqc(1), coqtop(1), coqdep(1).
The Coq Reference Manual. The Coq web site: http://coq.inria.fr