You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This repo contains an encoding of Patina using Redex. This is intended
to serve as a starting point for formal proofs but also for modeling
new features to Rust.
About
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety