Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com) 3 points by kurinikku 3mo ago ↗ HN
[–] kurinikku 3mo ago ↗ Andrej Karpathy's microgpt after https://github.com/savarin/microgpt/blob/lean-forge/with-lea...
2 comments
[ 0.24 ms ] story [ 16.1 ms ] thread