Are We Stuck with Lean?

117 points

by jjgreen

9 hours ago

58 comments