Can a coding agent formally verify what real-world Rust code does, in Lean 4?

2 points | by syumei 4 hours ago