package coq

  1. Overview
  2. Docs
Formal proof management system

Install 

dune-project
 Dependency

coq.inria.fr Edit opam file Versions (40)

Authors

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

Maintainers

  1. C
    coqdev@inria.fr

Sources

coq-8.16.0.tar.gz
sha256=36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587

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