ysli/deepweb repository overview

⁠DeepWeb

Web Server Demo for the DeepSpec project

⁠Dependencies

Installable via OPAM

• ocaml >= 4.04.0
• coq 8.7.1
• coq-ext-lib 0.9.7
• coq-quickchick 1.0.0
• coq-vst dev