package coq-file-sync
File synchroniser specification in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.0.tar.gz
md5=1f86c96adea2a14c8f622298fda3dbfb
sha512=416c1a4356126545ba08532b412ce83347a2104204d93344a9ab4f1b02db518faf8128d0d86b2c01073fade543cc02319e2f17dbab04c2b21115a75da21afc2c
Description
Coq formalisation of the Unison file synchroniser
Dependencies (6)
- fileutils
- ocamlbuild
- coq-async-test
-
coq-simple-io
>= "1.8.0" -
coq
>= "8.14~" -
ocaml
>= "4.12"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page