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.20.0.tar.gz
md5=66e57ea55275903bef74d5bf36fbe0f1
sha512=1a7eac6e2f58724a3f9d68bbb321e4cfe963ba1a5551b9b011db4b3f559c79be433d810ff262593d753770ee41ea68fbd6a60daa1e2319ea00dff64c8851d70b

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