Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (github.com)

2 points by kurinikku 1mo ago ↗ HN

0 comments

[ 1.5 ms ] story [ 12.5 ms ] thread

No comments yet.