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
No discussion yet. Be the first to share your thoughts!
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
No discussion yet. Be the first to share your thoughts!