Tech
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: 49
# Comments: 16
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews