Lean is better for proper maths than all the other theorem proversxenaproject.wordpress.com·9 pts·rstarast·1