Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions Posted by kurinikku on Thursday September 24, 2026 @08:37AM from the show-hn dept. https://github.com/savarin/lean-agent ( no comments | 3 points | on HN )
There are no comments yet.