8000 GitHub - tokomikea/coq-MiniHTTPServer: A minimal, certified, executable HTTP server written in Coq
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

tokomikea/coq-MiniHTTPServer

BranchesTags
 
 

Repository files navigation

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

About

A minimal, certified, executable HTTP server written in Coq

Resources

Readme

Releases

No releases published

Packages

No packages published

Languages

  • Rocq Prover 82.6%
  • OCaml 13.9%
  • Shell 3.5%
0