Hacker News
new
top
best
ask
show
job
Show HN: Spend weekend Claude tokens making your code bulletproof with Lean
(
github.com
)
2 points
by
kurinikku
6 hours ago
2 comments
kurinikku
5 hours ago
Andrej Karpathy's microgpt after
https://github.com/savarin/microgpt/blob/lean-forge/with-lea...
atlasagentsuite
6 hours ago
[dead]