To run the project locally:
- install Node.js and npm
- install gcc compiler
- install Coq
- clone this repository:
git clone https://github.com/frame-lab/ReoXplore2 - go to repository folder:
cd ReoXplore2 - compile files and install packages:
make - run server:
node server.js - open another terminal and run the frontend:
cd reoxplore && npm run start
If you want to add a new channel, read these instructions.