praveksharma / libjade Goto Github PK
View Code? Open in Web Editor NEWThis project forked from formosa-crypto/libjade
Libjade is a formally verified cryptographic library written in the jasmin programming language with computer-verified proofs in EasyCrypt. Libjade is part of the Formosa-Crypto project.
Home Page: https://formosa-crypto.org
License: Creative Commons Zero v1.0 Universal