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

2 points | by o8vm 8 hours ago

2 comments