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.17.1.tar.gz
sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b

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