Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com)

3 points by kurinikku 5mo ago ↗ HN

2 comments

[ 5.3 ms ] story [ 17.0 ms ] thread

[dead] atlasagentsuite 5mo ago ↗

[flagged]

kurinikku 5mo ago ↗

Andrej Karpathy's microgpt after https://github.com/savarin/microgpt/blob/lean-forge/with-lea...