Build Book

iter: add `kani` proof for `next_unchecked` (#280) #2142

Sign in to view logs

Triggered via pull request October 7, 2025 15:56

ghost

opened #501

model-checking/iter-next-unchecked

Status Success

Total duration 7m 22s

Artifacts –

book.yml

on: pull_request