---
name: "coqtop.opt"
section: "1"
platform: "linux"
package: "coq"
version: "8.16.1+dfsg-1+b2"
release: "Debian 12 (Bookworm)"
platforms: ["linux"]
url: "https://new.carta.tech/coqtop.opt"
---

# coqtop.opt(1)

The native-code Coq toplevel

## NAME

coqtop.opt - The native-code Coq toplevel

## SYNOPSIS

**coqopt.opt** \[ **options** \] \[ *file* \]

## DESCRIPTION

**coqopt.opt** is the native-code version of Coq. It should not be called directly, but only by **coqtop** and **coqc**

## SEE ALSO

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