Install
Docs
Log In
Register
cosy-client
Follow
Star
CosyVerif: client
Uploader
cosyverif
License
MIT/X11
Homepage
www.cosyverif.org/
Downloads
150
$
luarocks install cosy-client
Client of the CosyVerif platform.
Versions
0.1-1
8 years ago
(revision:
2
)
142 downloads
Dependencies
ansicolors
argparse
Copas
etlua
layeredata
lua
>= 5.1
lua-cjson-ol
LuaSec
LuaSocket
lua-websockets
serpent
yaml
Manifests
root