search

cryspen / libcrux

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

Clearly document what's hand written and what's generated code #675

Open keks opened 1 week ago

keks commented 1 week ago

https://github.com/cryspen/libcrux/pull/659#pullrequestreview-2428753961