News for hackers. Stuff that matters.

A comment on Translation of the Rust's core and alloc crates to Coq for formal verification. Parent comment

Re:Translation of the Rust's core and alloc crates to Coq fo... by deredede on Wednesday May 15, 2024 @02:14PM (#40370438)
That makes sense and fits what I had in mind: there is no formalization at the source level. Thanks for the details!
[ Parent | on HN ]

There are no comments on this comment yet.