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

(github.com)

2 points | by o8vm 8 hours ago

2 comments