Back to The Rust Foundation
GSoC 2025

Distributed and resource-efficient verification

Project details

Contributor

Jiping Zhou

Mentors

Michael Tautschnig

Technologies

Not listed in the archive