hacl 0.0.3-pre.1

Crypto library using formally verified code from the HACL project
Documentation