I've measured Lean against the benchmark game here: https://mech-lang.org/benchmarks/#v=1&ellipses=lean4&view=la...