The Rust Programming Language
by Rust Project
The official book — the best starting point for learning Rust from scratch.
Rust Verification Workshop
Annual workshop on formally verifying Rust programs — talks, tool demos, and materials from the verification community.
Related resources
Rust by Example
by Rust Project
Learn Rust through annotated examples covering core concepts and the standard library.
Rustlings
by Rust Project
Small exercises to get you used to reading and writing Rust code.