Amazon Kiro proves properties of its own harness in Lean

 (kiro.dev)

2 points | by wenc 4 hours ago ago

1 comments

  • wenc 4 hours ago ago

    [dead]