cosy-instance

CosyVerif: instance

$ luarocks install cosy-instance

Instance of the CosyVerif platform.

Versions

0.0-28 years ago113 downloads

Dependencies

lua >= 5.1

Manifests