Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
Going further than #19, we can add a way to run the extraction process. This can use coq rules, but will probably be too slow to be done at build time.
Going further than #19, we can add a way to run the extraction process. This can use coq rules, but will probably be too slow to be done at build time.