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

(github.com)

2 points | by o8vm 9 hours ago ago

2 comments