hacl-star 0.1.0

HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Documentation 
1
2
3

[submodule "hacl-c"]
	path = hacl-star-sys/hacl-c
	url = https://github.com/mitls/hacl-c