A Rust-to-Lean verification pipeline with AI provers: An experience report (via jmillikin) — discussion

#formalmethods #rust #vibecoding