Skip to content
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
Branch: master
Clone or download
Pull request Compare This branch is even with jbclements:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
README.md
rust.rkt

README.md

rust-redex

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.

You can’t perform that action at this time.