G github.com Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions 3 points kurinikku 1 month ago 0 comments
