---
name: "coq-parser"
section: "1"
platform: "linux"
package: "coq"
version: "8.2.pl2+dfsg-1"
release: "Debian 6.0 (Squeeze)"
platforms: ["linux"]
url: "https://new.carta.tech/coq-parser"
---

# coq-parser(1)

Coq parser

## 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)](/coq-interface/1.md), [**coqc**(1)](/coqc/1.md), [**coqtop**(1)](/coqtop/1.md), [**coqdep**(1)](/coqdep/1.md).\
 *The Coq Reference Manual.* *The Coq web site: http://coq.inria.fr*