package coq-distributed-reference-counting

  1. Overview
  2. Homepage
A Construction of Distributed Reference Counting

Install

Dune Dependency

Authors

Maintainers

Sources

v8.7.0.tar.gz
md5=ffa960328d797989cb0eb1dfad316449

Description

This library contains the constructive proof of correctness of several variants of a distributed reference counting algorithm.

Dependencies (2)

  1. coq >= "8.7" & < "8.8~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover