emeryberger merged emeryberger/SnakeLean#26 · July 7, 2026 05:36 Two undefined-name transpiler bugs (F19, F20) from rust-lean-models spike #26 First fruit of adding model-checking/rust-lean-models (Kani's Lean models of the Rust stdlib) as a bug-finding corpus. A 6-function feasibility spi… +72 -1