Lean is better for proper maths than all the other theorem proversxenaproject.wordpress.com2 points·RossBencina··0 commentsOpen articleSaveView on HN