HN Explorer
↵
Trending
Stats
☾
Amazon Kiro proves properties of its own harness in Lean
(kiro.dev)
1 points
by
wenc
5d ago
↗ HN
1 comment
[
19.0 ms
]
story
[
90.7 ms
]
thread
[–]
wenc
5d ago
↗
[delayed]
1 comment
[ 19.0 ms ] story [ 90.7 ms ] thread