Skip to content

Comments

iter: add kani proof for next_unchecked (#280)#501

Closed
ghost wants to merge 1 commit intomainfrom
unknown repository
Closed

iter: add kani proof for next_unchecked (#280)#501
ghost wants to merge 1 commit intomainfrom
unknown repository

Commits

Commits on Oct 13, 2025