Can a coding agent formally verify what real-world Rust code does, in Lean 4? Posted by syumei on Thursday October 01, 2026 @10:07AM from the i5h.dev dept. https://i5h.dev/benchmark/ ( no comments | 2 points | on HN )
There are no comments yet.