Eggshell is an open-source token-saving tool built in Lean4github.com3 points·o8vm··0 commentsOpen articleSaveView on HN