Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)

Alex Le Blanc, Patrick Lam

Although Rust primarily intends to be a safe programming language that excludes undefined behaviour, it provides its users with the escape hatch of unsafe Rust, allowing them to ci…