#17 Bounded PaddedData unwrap behavior in block-padding 0.4.2block-padding 0.4.2 · kani 0.68.0 · 1 claim · MasWag · 2026-11-03
#5 Correctness of is_even for all u32 inputseven-or-odd 0.1.0 · kani 0.68.0 · 1 claim · nyuichi · 2026-10-12