Translation of the Rust's core and alloc crates to Coq for formal verification

Submitted ⁨⁨2⁩ ⁨years⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

https://formal.land/blog/2024/04/26/translation-core-alloc-crates