package coq-core

  1. Overview
  2. Docs
The Coq Proof Assistant -- Core Binaries and Tools

Install 

dune-project
 Dependency

coq.inria.fr Readme Edit opam file Versions (11)

Authors

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

Maintainers

  1. T
    The Coq development team <coqdev@inria.fr>

Sources

coq-8.19.2.tar.gz
md5=5d1187d5e44ed0163f76fb12dabf012e
sha512=91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c

doc/coq-core.stm/Stm/AsyncOpts/index.html

Module Stm.AsyncOptsSource

Sourcetype cache =
  1. | Force
Sourcetype async_proofs =
  1. | APoff
  2. | APonLazy
  3. | APon
Sourcetype tac_error_filter =
  1. | FNone
  2. | FOnly of string list
  3. | FAll
Sourcetype stm_opt = {
  1. async_proofs_n_workers : int;
  2. async_proofs_n_tacworkers : int;
  3. async_proofs_cache : cache option;
  4. async_proofs_mode : async_proofs;
  5. async_proofs_private_flags : string option;
  6. async_proofs_never_reopen_branch : bool;
  7. async_proofs_tac_error_resilience : tac_error_filter;
  8. async_proofs_cmd_error_resilience : bool;
  9. async_proofs_delegation_threshold : float;
  10. async_proofs_worker_priority : CoqworkmgrApi.priority;
}
Sourceval default_opts : stm_opt