Rechercher une page de manuel
coq-parser
Langue: en
Version: 250191 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
coq-parser - Coq parserSYNOPSIS
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
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre