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

(i5h.dev)

2 points | by syumei 5 hours ago

No comments yet.