14 ms·Lean is better for proper maths than all the other theorem provers2 points by RossBencina 7y ago