package coq-http

  1. Overview
  2. No Docs
HTTP in Coq

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. Y
    Yishuai Li <yishuai@cis.upenn.edu>
  2. L
    Li-yao Xia <xialiyao@cis.upenn.edu>
  3. Y
    Yao Li <liyao@cis.upenn.edu>
  4. A
    Azzam Althagafi <aazzam@cis.upenn.edu>
  5. B
    Benjamin C. Pierce <bcpierce@cis.upenn.edu>

Maintainers

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

Sources

v0.2.1.tar.gz
md5=0cabdca398a667cdf5013fe9cbba5d74
sha512=1c39bca328e7537770228e0eb7da8cac119371a7cf3fd6d72ba68f815d8d9b73b7cbea7460b1956dc43877cbed9f2d75743602d85513c380e82246226b35e922

Description

HTTP specification in Coq, testable and verifiable

Tags

category:Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols category:Miscellaneous/Extracted Programs/Decision procedures keyword:co-induction keyword:extraction keyword:reactive systems logpath:HTTP

Published: 20 Jul 2023

Dependencies (4)

  1. coq-async-test >= "0.1.0"
  2. coq-quickchick >= "1.6.3"
  3. ocamlbuild >= "0.14.1"
  4. coq >= "8.14~"

Dev Dependencies

None

Used by

None

Conflicts

None