This README is related to the artifact for the paper "RustyDL: A Program Logic for Rust" accepted to the Formal Methods Symposium 2026. The paper describes a dynamic logic and a calculus for Rust, ...