package rocq-runtime

  1. Overview
  2. Docs
The Rocq Prover -- Core Binaries and Tools

Install 

dune-project
 Dependency

rocq-prover.org Readme Edit opam file Versions (3)

Authors

  1. T
    The Rocq development team, INRIA, CNRS, and contributors

Maintainers

  1. T
    The Rocq development team <rocq+rocq-development@discoursemail.com>

Sources

rocq-9.1.0.tar.gz
sha256=b236dc44f92e1eeca6877c7ee188a90c2303497fe7beb99df711ed5a7ce0d824

doc/rocq-runtime.config/Coq_config/index.html

Module Coq_configSource

Sourcetype relocatable_path =
  1. | NotRelocatable of string
  2. | Relocatable of string
Sourceval install_prefix : relocatable_path
Sourceval configdir : relocatable_path
Sourceval coqlibsuffix : string
Sourceval configdirsuffix : string
Sourceval datadirsuffix : string
Sourceval docdirsuffix : string
Sourceval ocamlfind : string
Sourceval caml_flags : string
Sourceval arch : string
Sourceval arch_is_win32 : bool
Sourceval version : string
Sourceval caml_version : string
Sourceval caml_version_nums : int list
Sourceval vo_version : int32
Sourceval all_src_dirs : string list
Sourceval exec_extension : string
Sourceval browser : string

default web browser to use, may be overridden by environment variable COQREMOTEBROWSER

Sourceval wwwcoq : string
Sourceval wwwstdlib : string
Sourceval wwwrefman : string
Sourceval wwwbugtracker : string
Sourceval bytecode_compiler : bool
Sourcetype native_compiler =
  1. | NativeOff
  2. | NativeOn of {
    1. ondemand : bool;
    }
Sourceval native_compiler : native_compiler