Popular repositories Loading

1. fiat-crypto fiat-crypto Public

   Forked from mit-plv/fiat-crypto

   Cryptographic Primitive Code Generation by Fiat

   Coq 4 2

2. by-inversion by-inversion Public

   Coq 1 1

3. hacspec hacspec Public

   Forked from hacspec/hacspec

   A specification language for cryptography primitives.

   Rust 1

4. math-comp math-comp Public

   Forked from math-comp/math-comp

   Mathematical Components

   Coq

5. coq coq Public

   Forked from coq/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

6. safegcd-bounds safegcd-bounds Public

   Forked from sipa/safegcd-bounds

   Bounds on divsteps iterations in safegcd

   Coq