N2O: Coq Application Server
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
extraction
src
.gitignore
LICENSE
Make
README.md
configure.sh

README.md

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