GitHub - EasyCrypt/easycrypt: EasyCrypt: Computer-Aided Cryptographic Proofs - discu.eu

Reddit

EasyCrypt: Computer-Aided Cryptographic Proofs in Coq http://www.easycrypt.info/ 3 comments 13/2/2014 coq

Linking pages

Hybrid Public Key Encryption: My Involvement in Development and Analysis of a Cryptographic Standard - Benjamin Lipp https://www.benjaminlipp.de/p/hpke-cryptographic-standard/ 0 comments

Linked pages

Nix & NixOS | Declarative builds and deployments http://nixos.org 669 comments
GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
Welcome to a World of OCaml https://ocaml.org 137 comments
GitHub - mmottl/pcre-ocaml: OCaml bindings to PCRE (Perl Compatibility Regular Expressions) https://github.com/mmottl/pcre-ocaml 16 comments
OCaml for Windows - Installation https://fdopen.github.io/opam-repository-mingw/installation/ 13 comments
Why3 http://why3.lri.fr/ 6 comments
Introduction - Nix Reference Manual https://nixos.org/manual/nix/stable/#chap-introduction 3 comments
opam - Install https://opam.ocaml.org/doc/Install.html 2 comments

Related searches:

Search whole site: site:easycrypt.info

Search title: GitHub - EasyCrypt/easycrypt: EasyCrypt: Computer-Aided Cryptographic Proofs

See how to search.

Submit link to: