Can a coding agent formally verify what real-world Rust code does, in Lean 4?i5h.dev2 points·syumei··0 commentsOpen articleSaveView on HN