Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions
github.com/savarin
2 points
kurinikku
2 months ago
1 comment
Loading...
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions | Heykuki News