---
name: "coq-interface"
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-interface"
---

# coq-interface(1)

Customized Coq toplevel to make user interfaces

## NAME

coq-interface - Customized Coq toplevel to make user interfaces

## SYNOPSIS

**coq-interface** \[ **options** \]

## DESCRIPTION

**coq-interface** is a Coq customized toplevel system for Coq containing some modules useful for the graphical interface. This program is not for the casual user.

## OPTIONS

- **-h**

  Help. Will give you the complete list of options accepted by coq-interface (the same as coqtop).

## SEE ALSO

[**coqc**(1)](/coqc/1.md), [**coqdep**(1)](/coqdep/1.md), [**coqtop**(1)](/coqtop/1.md), [**coq-parser**(1)](/coq-parser/1.md).\
 *The Coq Reference Manual.* *The Coq web site: http://coq.inria.fr*