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