pull down to refresh

Translation of the Rust's core and alloc crates to Coq for formal verificationformal.land/blog/2024/04/26/translation-core-alloc-crates
0 sats \ 0 comments \ @hn 15 May 2024 tech
This link was posted by p4bl0 1 hour ago on HN. It received 54 points and 16 comments.
write
preview
related posts