Hacker News
- Translation of Rust's core and alloc crates to Coq for formal verification https://formal.land/blog/2024/04/26/translation-core-alloc-crates 116 comments
- Translation of the Rust's core and alloc crates to Coq https://formal.land/blog/2024/04/26/translation-core-alloc-crates 21 comments rust
Linked pages
- Rust Programming Language https://www.rust-lang.org/ 593 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Option in core::option - Rust https://doc.rust-lang.org/core/option/enum.Option.html#variant.Some 3 comments
- std::alloc - Rust https://doc.rust-lang.org/std/alloc/index.html 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:formal.land
Search title: Translation of the Rust's core and alloc crates | Formal Land
See how to search.