LuaRocks.org had a security incident in September 2026. Read the incident report.

cosy-instance

CosyVerif: instance

Uploader

License

MIT/X11

Homepage

www.cosyverif.org/

Downloads

160

$ luarocks install cosy-instance

Instance of the CosyVerif platform.

Versions

0.0-29 years ago129 downloads

Dependencies

lua >= 5.1

Manifests