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

2 pointsposted 9 hours ago
by o8vm
(github.com)

2 Comments

o8vm

9 hours ago

[dead]