coqtop.byte (1)

The bytecode coq toplevel

  1. Carta.tech
  2. Man Pages
  3. Executable programs or shell commands
  4. coqtop.byte: The bytecode coq toplevel
  1. Carta.tech
  2. Packages
  3. coq
  4. coqtop.byte: The bytecode coq toplevel

SYNOPSIS

coqtop.byte [ options ] [ file ]

DESCRIPTION

coqopt.byte is the bytecode version of Coq. It should not be called directly, but only by coqtop and coqc

RELATED TO coqtop.byte…

coqtop(1), coqc(1).

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