Repository navigation

library

Public

About

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
bench		bench
bin		bin
rockspec		rockspec
src		src
tests		tests
.gitignore		.gitignore
.travis.yml		.travis.yml
Data.md		Data.md
LICENSE		LICENSE
README.md		README.md
test.lua		test.lua

Repository files navigation

CosyVerif Library

This library is at the core of the CosyVerif platform. It allows to represent the data, interact with them, and interact with the platform.

About

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages