cryspen / libcrux

The formally verified crypto library for Rust
https://cryspen.com/libcrux
Apache License 2.0
81 stars 13 forks source link

Update ml-kem docs #338

Closed franziskuskiefer closed 2 months ago

franziskuskiefer commented 3 months ago

Update the documentation on ml-kem for the release. Check all docs and make sure they are correct and readable.