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

2 pointsposted 4 hours ago
by syumei
(i5h.dev)

No comments yet