Lean is better for proper maths than all the other theorem provershttps://xenaproject.wordpress.com/2020/02/09/lean-is-better-for-proper-maths-than-all-the-other-theorem-provers/ by rstarast • 6 years ago 9 1 6 years agoXExenaproject.wordpress.com