Oriel — AI & technology worth noticing, every day.

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

Web page · https://medium.com/@Koukyosyumei/i-tried-to-formally-verify-popular-rust-projects-with-lean-4-but-found-more-bugs-than-i-expected-5badd0017b7c

First seen by Oriel on .

Metric trends

Last 30 days · Up to 120 recorded samples per source and metric · First and latest retained

Points

Score reported by the source.

  • Hacker News: 7, latest observation ; +4 over observed period since

Comments

Comment count reported by the source.

  • Hacker News: 2, latest observation ; +2 over observed period since

Aliases

SourceExternal IDURL
Hacker News50154951https://medium.com/@Koukyosyumei/i-tried-to-formally-verify-popular-rust-projects-with-lean-4-but-found-more-bugs-than-i-expected-5badd0017b7c