emeryberger merged emeryberger/SnakeLean#27 · July 7, 2026 06:27 Add rust-lean-models corpus; fix F21/F22/F23 (Char.val, UInt cmp/toNat) #27 SummaryAdds model-checking/rust-lean-models (Kani's Lean models of the Rust stdlib string API, dual Apache-2.0/MIT) as a new transpiler-fuzzing co… +774 -10