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