package coq-concurrency-proxy

You can search for identifiers within the package.

in-package search v0.2.0

A proxy to interface concurrent Coq programs with the operating system

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

G

Guillaume Claret

Maintainers

D

dev@clarus.me

Sources

md5=36d201bf65ccc649b4704e71e94de712

Description

Tags

date:2015-01-28 keyword:effects keyword:extraction

Published: 14 May 2019

Dependencies (5)

base64 >= "1.0.0" & < "2"
num
lwt >= "2.4.5" & < "5"
base-unix
ocaml >= "4.02.0" & < "4.06"

Dev Dependencies

None

Used by (1)

coq-concurrency-pluto

Conflicts (1)

ocaml-secondary-compiler

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by (1)
Conflicts (1)