HTTP specification in Coq, testable and verifiable
Primary LanguageCoqMozilla Public License 2.0MPL-2.0