| ▲ | meltyness 2 hours ago | |
https://github.com/model-checking/verify-rust-std hm, there's an effort but scoped only to the std It's terrifically complex: https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/ty... | ||
| ▲ | meltyness 2 hours ago | |
https://github.com/model-checking/verify-rust-std hm, there's an effort but scoped only to the std It's terrifically complex: https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/ty... | ||