Eggshell is an open-source token-saving tool built in Lean4 (github.com) 1 points by o8vm 20d ago ↗ HN
2 comments
[ 3.8 ms ] story [ 9.5 ms ] thread