I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs
By syumei · 2026-10-19 · 7 points · 2 comments
https://medium.com/@Koukyosyumei/i-tried-to-formally-verify-popular-rust-projects-with-lean-4-but-found-more-bugs-than-i-expected-5badd0017b7c
By syumei · 7 points · 2 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews