news.volyx.in

Translation of Rust's core and alloc crates to Coq for formal verification (formal.land)

358 points by p4bl0 · 821 days ago · 116 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.