package coq-http
HTTP in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.2.tar.gz
md5=501218c417da4f7097405954653449df
sha512=c55e1b323af54b0550b63e6fbafcf1d0a7721091df8ba2c7e9390565eef5aa57f973e3e0843ea9335e8e7d414724369df3d34572208d65cb17a4330757a4f12f
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:HTTPPublished: 22 Feb 2026
Dependencies (4)
-
coq-async-test
>= "0.1.0" -
coq-quickchick
>= "1.6.3" -
ocamlbuild
>= "0.14.1" -
coq
>= "8.14~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page