Hacker News Reader

So is it like math written in natural language but more structured and cross-referenced?

That is correct, and the structure allows for computers to better understand the meaning of the math concepts being described, which opens the door to different analyses that can be done.

Reply on news.ycombinator.com