Are We Stuck with Lean?mathoverflow.net
86 points by jjgreen 6 hours ago | 36 comments