Remix.run Logo
▲ ted_dunning 7 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.