5HT / n2o-coq

N2O: Coq Application Server

N2O: Coq Application Server

Only pure console infinite I/O here for now, stay tuned.

Prerequisites

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-io-system

Extract

./configure.sh
make

Build and Run

cd extraction/
make
./main.native

Credits

• Maxim Sokhatsky