Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

No comments yet.