Hacker News new | ask | show | jobs
by ComplexSystems 18 days ago
How many tokens would it cost to write some library functions to fill in the gaps?
1 comments
varjag 18 days ago
You could try solving that in Lean perhaps
link