GitHub repository: nittaya1990/coq-http
Description: HTTP specification in Coq, testable and verifiable