Proving Rust Web Application Correctness with Lean 4(medium.com)
2 pointsby syumei4 hours ago1 comment
  • palata2 hours ago
    Is an AI writing the Lean code then?