This repository contains the server, command-line client, web client, and library of the CosyVerif platform.
./bin/build-server --target=<target-directory>Feel free to fork this repository and submit pull requests!
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.
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).