Rust Weekly 🦀 on Nostr: Translation of the Rust's core and alloc crates to Coq ...
Translation of the Rust's core and alloc crates to Coq
https://formal.land/blog/2024/04/26/translation-core-alloc-crates
Discussions: https://discu.eu/q/https://formal.land/blog/2024/04/26/translation-core-alloc-crates
#programming #rustlang
https://formal.land/blog/2024/04/26/translation-core-alloc-crates
Discussions: https://discu.eu/q/https://formal.land/blog/2024/04/26/translation-core-alloc-crates
#programming #rustlang