Hi all,

I'm an undergrad studying math and CS at Arizona State University. I have some background in formal methods and functional programming, and I'd love to learn more by contributing to Rust. Are there any projects that I could contribute to? (e.g verification, fuzzing, etc..)