6 ms·

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

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