Rust Attachment Showcase

 Rust Attachment Showcase🔗

Compiled2026-05-06T13:19:10ZProject5480f6aMerge pull request #37 from leanprover/feat/reference-catalog-pagesLeanleanprover/lean4:v4.30.0-rc2VersoBlueprint5480f6a
Definition2
XL∃∀Nused by 0

Clean inline Rust attachment used for rendering review.

Rust code for Definition2
pub fn rust_example(x: i32) -> i32 {
    // increment once
    x + 1
}
Definition3
XL∃∀Nused by 0

Rust block with strings, comments, and numbers for simple coloring coverage.

Rust code for Definition3
pub fn log_label() -> &'static str {
    // starter string
    "hello"
}

pub const RETRIES: u32 = 3;