Hacker News (front page)
· Communities
Are We Stuck with Lean?
Article URL: https://mathoverflow.net/questions/513742/are-we-stuck-with-lean Comments URL: https://news.ycombinator.com/item?id=49108678 Points: 7 # Comments: 1