Are We Stuck with Lean?

Posted 8 hours ago by jjgreen
115 points

https://mathoverflow.net/questions/513742/are-we-stuck-with-lean

12 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..