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

 (github.com)

3 points | by kurinikku 3 hours ago ago

No comments yet.