Amazon Kiro proves properties of its own harness in Lean

 (kiro.dev)

2 points | by wenc 4 hours ago ago

1 comments