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