package coq-http

  1. Overview
  2. Homepage
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

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct