package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

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

Authors

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

Maintainers

  1. C
    coqdev@inria.fr

Sources

coq-8.14.1.tar.gz
sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3

doc/coq-core.stm/Spawned/index.html

Module SpawnedSource

Sourcetype chandescr =
  1. | AnonPipe
  2. | Socket of string * int * int
Sourceval main_channel : chandescr option ref
Sourceval control_channel : chandescr option ref
Sourceval init_channels : unit -> unit
Sourceval get_channels : unit -> CThread.thread_ic * out_channel
Sourceval process_id : unit -> string

Name of current process.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct