login sign up

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

formal.land · first added by @hn_wayback
saved by
1 person
discussions · 1
Translation of Rust's core and alloc crates to Coq for formal verification 358 pts · 116 comments · May 2024 358 pts · 116 comments · May 2024
0 people saved or upvoted this