Comment by ted_dunning
6 hours ago
Because it is really hard to read and the level of detail is so high that even lemmas that you can read may have such enormous levels of detail that makes real understanding difficult given that humans have limited working memory.
No comments yet
Contribute on Hacker News ↗