GitHub repository: ANSSI-FR/coq-MiniHTTPServer
Primary language: Coq
Created: 2019-12-18T09:41:00Z
Description: A simple, executable HTTP server written in Coq with FreeSpec