Comment by ComplexSystems 2 months ago How many tokens would it cost to write some library functions to fill in the gaps? 1 comment ComplexSystems Reply varjag 2 months ago You could try solving that in Lean perhaps
You could try solving that in Lean perhaps