This library is at the core of the CosyVerif platform. It allows to represent the data, interact with them, and interact with the platform.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This library is at the core of the CosyVerif platform. It allows to represent the data, interact with them, and interact with the platform.