7 ms·Maybe we need "de Moura complexity": the shortest Lean proof of a theorem.by egl2020 28d agoMaybe we need "de Moura complexity": the shortest Lean proof of a theorem.