Only pure console infinite I/O here for now, stay tuned.
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-io-system
./configure.sh
make
cd extraction/
make
./main.native
- Maxim Sokhatsky
N2O: Coq Application Server
Only pure console infinite I/O here for now, stay tuned.
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-io-system
./configure.sh
make
cd extraction/
make
./main.native
N2O: Coq Application Server
Other