search

cryspen / libcrux

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

Deleting some old code #307

Closed franziskuskiefer closed 2 weeks ago

franziskuskiefer commented 2 weeks ago

Deleting old, unused code

franziskuskiefer commented 2 weeks ago

This will be merged in #308