Back to The Rust Foundation
GSoC 2025

Add safety contracts

Project details

Contributor

Dawid Lachowicz

Mentors

Michael Tautschnig

Technologies

Not listed in the archive