Skip to content

Rust claims article: what rustc proves, and where the proof stops - #10

Merged
compilersutra merged 1 commit into
mainfrom
feat/rust-claims-reality-check
Aug 16, 2026
Merged

Rust claims article: what rustc proves, and where the proof stops#10
compilersutra merged 1 commit into
mainfrom
feat/rust-claims-reality-check

Add a reality-check article on what rustc proves, and where the proof…

dd405e5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar