Amazon Kiro proves properties of its own harness in Lean

(kiro.dev) by wenc | Nov 4, 2026 | 0 comments on HN