CosyVerif server, client and library
This repository contains the server, command-line client, web client, and library of the CosyVerif platform.
Install
./bin/build-server --target=<target-directory>Contributing
Feel free to fork this repository and submit pull requests!
Discussion, Bugs, ...
Please create a new issue if you have found a bug, or request a new feature. For other discussions, you can use the gitter chat.
Requirements
Please learn the bases of the Lua language before reading this tutorial. For instance, you can read Programming in Lua (part I should be sufficient).