/coq-MiniHTTPServer

A minimal, certified, executable HTTP server written in Coq

Primary LanguageCoq

MiniHTTPServer

This project aims to be a complete demonstration for FreeSpec. It is a minimalist, certified HTTP server implemented in Coq.

Getting Started

opam switch create . ocaml-base-compiler.4.10.2 --repositories default,coq-released --no-install
opam pin add https://github.com/lthms/coq-comparse.git -y
opam pin add . -y