Hacker News new | ask | show | jobs
RustyDL: A Program Logic for Rust (arxiv.org)
3 points by bsrkf 152 days ago