rust-redex. A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

github.com/nikomatsakis/rust-redex
by @nikomatsakis

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.