savarin/lean-refine
2 best points · 1 comments · 1 Hacker News post · 8 GitHub stars · View on GitHub
Hacker News discussions
- Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (2 points, 1 comments, by kurinikku, 2026-03-30)