search

liyishuai / coq-http2

MIT License
4 stars 0 forks source link
coq-library http2

readme

coq-http2

Build Status

A clone of Haskell http2 library

Dependencies

opam install coq.dev coq-ext-lib.dev coq-paco coq-simple-io