Reviews
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
Search similar apps
License
Other
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
Creator
Related apps
cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2
Coq64lgpl-2.1
7 months ago
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq38
4 years ago