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

1 points | by o8vm an hour ago

2 comments