G github.com Eggshell is an open-source token-saving tool built in Lean4 3 points o8vm 20 days ago 0 comments
