Skip to content

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

Notifications You must be signed in to change notification settings

jbclements/rust-redex

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •  

Languages