search

cryspen / libcrux

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

Add documentation for C extraction #336

Open franziskuskiefer opened 4 days ago

franziskuskiefer commented 4 days ago

Describe how C extraction works and how to use it.