Eggshell is an open-source token-saving tool built in Lean4(github.com)
2 pointsby o8vm7 hours ago2 comments