This project aims to be a complete demonstration for FreeSpec. It is a minimalist, certified HTTP server implemented in Coq.
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