Are We Stuck with Lean?

(mathoverflow.net)

156 points | by jjgreen 5 days ago ago