2 ms·

How many tokens would it cost to write some library functions to fill in the gaps?

• varjag 4mo ago
  You could try solving that in Lean perhaps