News for hackers. Stuff that matters.

A comment on Translation of the Rust's core and alloc crates to Coq for formal verification. Parent comment

Re:Translation of the Rust's core and alloc crates to Coq fo... by epolanski on Wednesday May 15, 2024 @07:24AM (#40365425)
You reminded me of this blog post by Stephen Diel:

https://www.stephendiehl.com/posts/crypto.html

[ Parent | on HN ]

There are no comments on this comment yet.