Amazon Kiro proves properties of its own harness in Lean(kiro.dev)
2 pointsby wenc5 hours ago1 comment
  • wenc5 hours ago
    [dead]