coqtop.opt (1)

The native-code coq toplevel

  1. Carta.tech
  2. Man Pages
  3. Executable programs or shell commands
  4. coqtop.opt: The native-code coq toplevel
  1. Carta.tech
  2. Packages
  3. coq
  4. 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

RELATED TO coqtop.opt…

coqtop(1), coqc(1).

The Coq Reference Manual. The Coq web site: http://coq.inria.fr