CleoBench: Can Fable mathematically prove Cleo's integrals?
rain-1.github.io