matteobaccan / vignat

[deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs.

https://vignat.github.io

Geek Repo

Github PK Tool