package coq-file-sync

  1. Overview
  2. No Docs
File synchroniser specification in Coq

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. Y
    Yishuai Li <liyishuai.lys@alibaba-inc.com>

Maintainers

  1. Y
    Yishuai Li <liyishuai.lys@alibaba-inc.com>

Sources

v0.1.0.tar.gz
md5=1f86c96adea2a14c8f622298fda3dbfb
sha512=416c1a4356126545ba08532b412ce83347a2104204d93344a9ab4f1b02db518faf8128d0d86b2c01073fade543cc02319e2f17dbab04c2b21115a75da21afc2c

Description

Coq formalisation of the Unison file synchroniser

Tags

logpath:FileSync

Published: 14 Sep 2022

Dependencies (6)

  1. fileutils
  2. ocamlbuild
  3. coq-async-test
  4. coq-simple-io >= "1.8.0"
  5. coq >= "8.14~"
  6. ocaml >= "4.12"

Dev Dependencies

None

Used by

None

Conflicts

None