Eggshell is an open-source token-saving tool built in Lean4

 (github.com)

2 points | by o8vm 8 hours ago ago

2 comments